Embedded systems : analysis and modeling with SysML, UML and AADL - Kordon, Fabrice (ISTE, 2013)