From supervisory control to nonblocking controllers for discrete event systems. - Petra Malik (2003)

Incremental verification and synthesis of discrete-event systems guided by counter examples. - Bertil A. Brandin; Robi Malik; Petra Malik (IEEE Trans. Control. Syst. Technol., 2004)

CZT Support for Z Extensions. - Tim Miller 001; Leo Freitas; Petra Malik; Mark Utting (IFM, 2005)

CZT: A Framework for Z Tools. - Petra Malik; Mark Utting (ZB, 2005)

Interaction design for a mobile context-aware system using discrete event modelling. - Annika Hinze; Petra Malik; Robi Malik (ACSC, 2006)

Modular Synthesis of Discrete Controllers. - Petra Malik; Robi Malik; David Streader; Steve Reeves (ICECCS, 2007)

Unit Testing of Z Specifications. - Mark Utting; Petra Malik (ABZ, 2008)

Translating Z to Alloy. - Petra Malik; Lindsay Groves; Clare Lenihan (ASM, 2010)

Understanding the Importance of Trust in Distributed Agile Projects: A Practical Perspective. - Siva Dorairaj; James Noble 001; Petra Malik (XP, 2010)

Transformation Rules for Z. - Mark Utting; Petra Malik; Ian Toyn (Chic. J. Theor. Comput. Sci., 2010)

Bridging cultural differences: a grounded theory perspective. - Siva Dorairaj; James Noble 001; Petra Malik (ISEC, 2011)

Effective Communication in Distributed Agile Software Development Teams. - Siva Dorairaj; James Noble 001; Petra Malik (XP, 2011)

A retrospective on CZT. - Petra Malik (Softw. Pract. Exp., 2011)

Knowledge Management in Distributed Agile Software Development. - Siva Dorairaj; James Noble 001; Petra Malik (AGILE, 2012)

Understanding Lack of Trust in Distributed Agile Teams: A grounded theory study. - Siva Dorairaj; James Noble 001; Petra Malik (EASE, 2012)

Understanding Team Dynamics in Distributed Agile Software Development. - Siva Dorairaj; James Noble 001; Petra Malik (XP, 2012)