Christian Buckl, Alois Knoll, Gerhard Schrott. The Zerberus Language: Describing the Functional Model of Dependable Real-Time Systems. In Carlos Alberto Maziero, João Gabriel Silva, Aline Maria Santos Andrade, Flávio Morais de Assis Silva, editors, Dependable Computing, Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings. Volume 3747 of Lecture Notes in Computer Science, pages 101-120, Springer, 2005. [doi]
Abstract is missing.