1. INCOSE, Systems engineering handbook: a guide for system life cycle processes and activities, V4, 2014.
2. The B-book : Assigning Programs to meanings;Abrial,1996
3. van Lamsweerde A. Goal-oriented requirements engineering : a guided tour. Proceedings of the fifth IEEE international symposium on requirements engineering, August 27-31, p. 249–262, 2001.
4. Pinquié R, Micouin P, Véron P, Segonds F. Property model methodology : a case study with modelica. In: Horváth I., Pernot J.-P., Rusák, Z. editors. Proceedings of the 12th international symposium on TMCE, Aix-en-Pce, France, May 9 – 13; 2016, p. 79–91, 2016.
5. Liliegard M, Nilsson V. Model-based testing with Simulink Design Verifier: a case study on property proving and automatic test case generation for automotive embedded systems, master’s thesis, Chalmers University of Technology, Göteborg, Sweden, 2014.