• Embedded Systems: Analysis and Modeling with SysML, UML and AADL:  Book abstract and order form
  • Method, Checking and Document generation for UML applications : pdf