Sari Leppänen

A modelling method for rigorous and automated design of large-scale industrial systems

Markku Turunen, Sari Leppänen, Kari Leppänen, 2007, MODELS'07.

Formal Model-Driven Development of Communicating Systems

Johan Lilius, Elena Troubitsyna, Qaisar A. Malik, 2005, ICFEM.

Formal Service-Oriented Development of Fault Tolerant Communicating Systems

Johan Lilius, Elena Troubitsyna, Qaisar A. Malik, 2006, RODIN Book.

Service-Oriented Development of Fault Tolerant Communicating Systems: Refinement Approach

Elena Troubitsyna, Linas Laibinis, Sari Leppänen, 2010, Int. J. Embed. Real Time Commun. Syst..