Christian Buckl, Alois Knoll, Ina Schieferdecker, Justyna Zander. Model-Based Analysis and Development of Dependable Systems. In Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz, editors, Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers. Volume 6100 of Lecture Notes in Computer Science, pages 271-293, Springer, 2007. [doi]
Abstract is missing.