1. Abeille J (2011) Vers un couplage des processus de conception de systèmes et de planification de projets: formalisation de connaissances méthodologiques et de connaissances métier. PhD thesis
2. Ackoff RL (1971) Towards a system of systems concepts. Manag Sci 17(11):661–671
3. American Association for the Advancement of Science (2016) The Rise of Systems Engineering in China (Science/AAAS, Washington, DC, 2016). Science/AAAS Custom Publishing Office, https://www.sciencemag.org/sites/default/files/custom-publishing/documents/ALSSEsupplement_Finalonline.pdf. Accessed June 2018
4. Baeten JC, van de Mortel-Fronczak JM, Rooda JE (2016) Integration of supervisory control synthesis in model-based systems engineering. Complex systems. Springer, Berlin, pp 39–58
5. Baier C, Katoen JP, Larsen KG (2008) Principles of model checking. MIT Press, London