Christian Buckl, Matthias Regensburger, Alois Knoll, Gerhard Schrott. Models for automatic generation of safety-critical real-time systems. In Proceedings of the The Second International Conference on Availability, Reliability and Security, ARES 2007, The International Dependability Conference - Bridging Theory and Practice, April 10-13 2007, Vienna, Austria. pages 580-587, IEEE Computer Society, 2007. [doi]
Abstract is missing.