Models for automatic generation of safety-critical real-time systems. - Christian Buckl; Matthias Regensburger; Alois C. Knoll; Gerhard Schrott (ARES, 2007)

Generic Fault-Tolerance Mechanisms Using the Concept of Logical Execution Time. - Christian Buckl; Matthias Regensburger; Alois C. Knoll; Gerhard Schrott (PRDC, 2007)

Model Based Development of Safety-Critical Systems Using Template Based Code Generation. - Matthias Regensburger; Christian Buckl; Alois C. Knoll; Gerhard Schrott (PRDC, 2007)