Die Darstellung non-prozeduraler Sachverhalte mit Prädikat-/Regelnetzen. - Peter Graubmann; Michael Mrva (Programmierumgebungen und Compiler, 1984)

Are we on the way towards design habitability? - Michael Mrva (ECBS, 1997)

The Shall-Prototype-Test Development model. - Michael Mrva; Mike Heuchling; Wolfgang Ecker (ECBS, 1997)

Reuse Factors in Embedded Systems Design. - Michael Mrva (Computer, 1997)

Enhanced Reuse and Teamwork Capabilities for an Object-oriented Extension of VHDL. - Michael Mrva (DATE, 1998)

A Scalable Architecture for Multi-threaded JAVA Applications. - Michael Mrva; Klaus Buchenrieder; Rainer Kress 002 (DATE, 1998)

Model-Based Codesign. - Stephan Schulz 002; Jerzy W. Rozenblit; Michael Mrva; Klaus Buchenrieder (Computer, 1998)

Role-Centered Conceptual Modeling in System Design. - Michael Mrva; Rainer Kress 002 (MBMV, 2000)