Embedded systems analysis and modeling with SysML, UML, and AADL / - Kordon, Fabrice.; Hugues, Jerome.; Canals, Agusti; Dohet, Alain. (ISTE ;, 2013)