1. Abrial, J.-R.: Modeling in Event-B - System and Software Engineering. Cambridge University Press (2010)
2. Bahill, A.T., Henderson, S.J.: Requirements development, verification and validation exhibited in famous failures. Syst. Eng. (2005)
3. Becker, M., Luckey, M., Becker, S.: Performance analysis of self-adaptive systems for requirements validation at design-time. In: Proceedings of QoSA 2013, pp. 43–52. ACM, New York (2013)
4. Lecture Notes in Computer Science;J. Blom,2005
5. Börger, E., Stärk, R.F.: Abstract State Machines. A Method for High-Level System Design and Analysis. Springer (2003)