Compositional Verification of a Third Generation Mobile Communication Protocol. - Sari Leppänen; Matti Luukkainen (ICDCS Workshop on Distributed System Validation and Verification, 2000)

Exploration Testing. - Juhana Helovuo; Sari Leppänen (ACSD, 2001)

Verifying Reliable Data Transmission over UMTS Radio Interface with High Level Petri Nets. - Teemu Tynjälä; Sari Leppänen; Vesa Luukkala (FORTE, 2002)

Application Driven Methodology for Development of Communicating Systems. - Sari Leppänen; Markku Turunen; Ian Oliver (FDL, 2004)

Modeling the SpaceWire Architecture with Lyra. - Jukka Honkola; Sari Leppänen; Teemu Tynjälä (ACSD, 2005)

Formal Model-Driven Development of Communicating Systems. - Linas Laibinis; Elena Troubitsyna; Sari Leppänen; Johan Lilius; Qaisar A. Malik (ICFEM, 2005)

Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols. - Dubravka Ilic; Elena Troubitsyna; Linas Laibinis; Sari Leppänen (ISoLA, 2006)

Formal Service-Oriented Development of Fault Tolerant Communicating Systems. - Linas Laibinis; Elena Troubitsyna; Sari Leppänen; Johan Lilius; Qaisar A. Malik (RODIN Book, 2006)

A Case Study: Applying Lyra in Modeling S60 Camera Functionality. - Jukka Honkola; Sari Leppänen; Pasi Rinne-Rahkola; Martti Soderlund; Markku Turunen; Kimmo Varpaaniemi (ECBS, 2007)

A Modelling Method for Rigorous and Automated Design of Large-Scale Industrial Systems. - Kari Leppänen; Sari Leppänen; Markku Turunen (MoDELS, 2007)

Workflow Automation for System Architecting. - Markku Turunen; Kari Leppänen; Sari Leppänen (ENASE, 2008)

Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems. - Linas Laibinis; Elena Troubitsyna; Sari Leppänen (Methods, Models and Tools for Fault Tolerance, 2009)

Service-Oriented Development of Fault Tolerant Communicating Systems: Refinement Approach. - Linas Laibinis; Elena Troubitsyna; Sari Leppänen (Int. J. Embed. Real Time Commun. Syst., 2010)