DOI,IST REx ID,Research Group,Title of publication
10.1109/SIES.2011.5953660,3316,"KrCh,ToHe",Specification-centered robustness