Christian Buckl, Alois Knoll, Gerhard Schrott. Development of Dependable Real-Time Systems with Zerberus. In 11th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2005), 12-14 December, 2005, Changsha, Hunan, China. pages 404-408, IEEE Computer Society, 2005. [doi]
Abstract is missing.