9.9 Further Useful Reading

• Arcadia, a model-based engineering method: https://polarsys.org/capella/arcadia.html
• Architecting Spacecraft with SysML: A Model-based Systems Engineering Approach, Sanford Friedenthal and Christopher Oster, 2017
• Capella, an open-source solution for model-based systems engineering: http://www.polarsys.org/capella/
• Designing Concurrent, Distributed, and Real-Time Applications with UML, Hassan Gomaa, 2000. Managing Model-Based Design, Roger Aarenstrup, 2015
• Model-Based System Engineering with Capella, Laetitia Saoud, 2016: http://www.clarity-se.org/wp-content/uploads/2015/05/2016_06_02_CNES_Capella-Introduction_v1.pdf
• Model-Driven Software Engineering in Practice: Second Edition (Synthesis Lectures on Software Engineering), Marco Brambilla and Jordi Cabot, 2017
• Practical UML Statecharts in C/C++: Event-Driven Programming for Embedded Systems, Miro Samek, 2008
• Real-Time Software Systems – an introduction to structured...