Embedded systems analysis and modeling with SysML, UML and AADL (ISTE [u.a.], 2013)
Includes bibliographical references and index