selected publications

• chapter

  • A Service-Oriented UML Profile with Formal Support.  Lecture Notes in Computer Science. 2009
  • AGILE: Software Architecture for Mobility.  Springer eBooks. 1-33. 2003
  • An object-oriented airport: Specification and refinement in Maude.  Springer eBooks. 351-367. 1995