1. Maibaum, T.: On specifying systems that connect to the physical world. New Trends in Software Methodologies, Tools and Techniques (2006)
2. Yue, T., Briand, L.C., Labiche, Y.: A Systematic Review of Transformation Approaches between User Requirements and Analysis Models. Requirements Engineering (2011)
3. LNBIP;N. Ferreira,2013
4. Haskins, C., Forsberg, K.: Systems Engineering Handbook: A Guide for System Life Cycle Processes and Activities; INCOSE-TP-2003-002-03.2. 1, INCOSE (2011)
5. LNBIP;N. Ferreira,2013