1. IBM Rational Rose, http://www.rational.com
2. Matlab and Stateflow by Mathworks,
http://www.mathworks.com
3. Arnold, R., Bohner, S.: Software Change Impact Analysis. IEEE Computer Society Press, Los Alamitos (1991)
4. Boehm, B., Egyed, A., Kwan, J., Madachy, R.: Using the WinWin Spiral Model: A Case Study. IEEE Computer, 33–44 (1998)
5. Cheng, B., Wang, E.Y., Bourdeau, R.H., Richter, H.A.: Bridging the Gap Between Informal and Formal Approaches to Software Development. In: Proceedings of Software Engineering Research Forum (November 1995)