@inproceedingsMar2014, Author = {Markus Oertel, Omar Kacimi, Eckard Boede}, Title = {Proving Compliance of Implementation Models to Safety Specifications}, Year = {2014}, Pages = {97-107}, Month = {9}, Editor = {Andrea Bondavalli, Andrea Ceccarelli, Frank Ortmeier}, Publisher = {Springer International Publishing}, Series = {Lecture Notes in Computer Science}, Edition = {8696}, Booktitle = {Computer Safety, Reliability, and Security}, Url = {http://link.springer.com/chapter/10.1007%2F978-3-319-10557-4_13#page-1}, type = {inproceedings} @COMMENTBibtex file generated on