1. OMG System Modeling Languages.
http://www.omgsysml.org/
. 13 Feb 2014 (01 May 2015)
2. International Council of Systems Engineering.
http://www.incose.org/
. 02 Apr 2014 (01 May 2015)
3. Collins, M.: Dependable Embedded Systems, Topic: “Formal Methods.” Carnegie Mellon University (1998).
https://www.ece.cmu.edu/~koopman/des_s99/formal_methods/
4. Broadfoot, G.H.: ASD case notes: Costs and benefits of applying formal methods to industrial control software. In: FM 2005: Formal Methods. LNCS, vol. 3582, pp. 548–551. Springer (2005)
5. Eltahir, S., Musa, M.: On practicality of using integrated semi-formal modeling tools. In: The International Arab Conference on Information Technology, 2008