Embedded Systems: Analysis and Modeling with SysML, UML and AADL

F. Kordon , Jérôme Hugues , Agusti Canals