A Formal Approach to Computer Systems Requirements Documentation. - Marcin Engel; Marcin Kubica 001; Jan Madey; David Lorge Parnas; Anders P. Ravn; A. John van Schouwen (Hybrid Systems, 1992)

Specifying Real-Time Systems with Z and the Duration Calculus. - Marcin Engel (Z User Workshop, 1994)

Towards Automated Consistency Checking of Module Interface Specifications. - Marcin Engel; Artur Kret; Janina Mincer-Daszkiewicz (Fundam. Informaticae, 2000)