PMS-Models in SHARPE. - Heinz Kantz; Marco Mulazzani (Fehlertolerierende Rechensysteme, 1989)

Tolerating transient faults in MARS. - Hermann Kopetz; Heinz Kantz; Günter Grünsteidl; Peter P. Puschner; Johannes Reisinger (FTCS, 1990)

An Engineering Approach to Hard Real-Time System Design. - Hermann Kopetz; Ralph Zainlinger; Gerhard Fohler; Heinz Kantz; Peter P. Puschner; Werner Schütz (ESEC, 1991)

Reliability Modeling of the MARS System: A Case Study in the Use of Different Tools and Techniques. - Heinz Kantz; Kishor S. Trivedi (PNPM, 1991)

Flexible Handling of Diverse Dependability Requirements in MARS. - Heinz Kantz (SRDS, 1991)

The design of real-time systems: from specification to implementation and verification. - Hermann Kopetz; Ralph Zainlinger; Gerhard Fohler; Heinz Kantz; Peter P. Puschner; Werner Schütz (Softw. Eng. J., 1991)

The programmer's view of MARS. - Hermann Kopetz; Gerhard Fohler; Günter Grünsteidl; Heinz Kantz; Gustav Pospischil; Peter P. Puschner; Johannes Reisinger; Ralf Schlatterbeck; Werner Schütz; Alexander Vrchoticky; Ralph Zainlinger (RTSS, 1992)

Real-time system development: The programming model of MARS. - Hermann Kopetz; Gerhard Fohler; Günter Grünsteidl; Heinz Kantz; Gustav Pospischil; Peter P. Puschner; Johannes Reisinger; Ralf Schlatterbeck; Werner Schütz; Alexander Vrchoticky; Ralph Zainlinger (ISADS, 1993)

Zuverlässigkeitsanalyse von verteilten, fehlertoleranten Echtzeitsystemen. - Heinz Kantz (Inform. Forsch. Entwickl., 1993)

The ELEKTRA Railway Signalling-System: Field Experience with an Actively Replicated System with Diversity. - Heinz Kantz; Christian Koza (FTCS, 1995)

TAS Control Platform: A Platform for Safety-Critical Railway Applications. - Andreas Gerstinger; Heinz Kantz; Christoph Scherrer (ERCIM News, 2008)