Model-Based Analysis and Development of Dependable Systems

Christian Buckl, Alois Knoll, Ina Schieferdecker and Justyna Zander

Model-Based Engineering of Embedded Real-Time Systems. Lecture Notes in Computer Science Vol. 6000,

January 2011 · doi: 10.1007/978-3-642-16277-0_10

url: Buckl2011b.pdf