@inproceedings{BCG+11,
title = {Specification-centered robustness },
author = {Bloem, Roderick and Chatterjee, Krishnendu and Greimel, Karin and Henzinger, Thomas A. and Jobstmann, Barbara},
year = {2011},
booktitle = {Industrial Embedded Systems (SIES), 2011 6th IEEE International Symposium on, Vasteras, Sweden, 15-17 June, 2011},
pages = {176-185},
publisher = {IEEE},
team = {DCS},
}