@inproceedings{Buckl2011b, author = {Buckl, Christian and Knoll, Alois and Schieferdecker, Ina and Zander, Justyna}, title = {Model-Based Analysis and Development of Dependable Systems}, booktitle = {Model-Based Engineering of Embedded Real-Time Systems. Lecture Notes in Computer Science Vol. 6000}, publisher = {Springer}, year = {2011}, month = jan, doi = {10.1007/978-3-642-16277-0_10}, url = {Buckl2011b.pdf}, }