Towards Analytical Techniques for Systems Engineering Applications