Telefona gönder: Embedded systems analysis and modeling with SysML, UML and AADL / edited by Fabrice Kordon ... [et al.]. [electronic resource] :