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

Synthesis of Scenario Based Test Cases from B Models. - Manoranjan Satpathy; Qaisar A. Malik; Johan Lilius (FATES/RV, 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)

Model-Based Testing Using Scenarios and Event-B Refinements. - Qaisar A. Malik; Johan Lilius; Linas Laibinis (Methods, Models and Tools for Fault Tolerance, 2009)

Model-Based Testing Using System vs. Test Models - What Is the Difference?. - Qaisar A. Malik; Antti Jääskeläinen; Heikki Virtanen; Mika Katara; Fredrik Abbors; Dragos Truscan; Johan Lilius (ECBS, 2010)

Using UML Models and Formal Verification in Model-Based Testing. - Qaisar A. Malik; Dragos Truscan; Johan Lilius (ECBS, 2010)