Formal Semantics for Ward & Mellor's Transformation Schemas and the Specification of Faul Tolerant Systems. - Carsta Petersohn; Willem P. de Roever; Cornelis Huizing; Jan Peleska 001 (EDCC, 1994)

Formal Semantics for Ward & Mellor's Transformation Schemas. - Carsta Petersohn; Willem-Paul de Roever; Cornelis Huizing; Jan Peleska 001 (Refine, 1994)

Formal Method for Event-Triggered Sequential Systems. - Carsta Petersohn (FORTE, 1995)

A Timed Semantics for the STATEMATE Implementation of Statecharts. - Carsta Petersohn; Luis Urbina (FME, 1997)

Towards a Formal Semantics for an Integrated SA/RT & Z Specification Language. - Dirk Scholz; Carsta Petersohn (ICFEM, 1997)

Data and control flow diagrams, statecharts and Z: their formalization, integration and real time extension. - Carsta Petersohn (1997)