@InProceedings{ BlechSchaeferPH2007, title = { Translation Validation for System Abstractions }, author = { Jan Olaf Blech and Ina Schaefer and Arnd Poetzsch-Heffter }, booktitle = { 7th Workshop on Runtime Verification (RV'07), Vancouver, Canada }, journal = { LNCS }, volume = { 4839 }, publisher = { Springer }, month = mar, year = 2007, }