@inproceedings{Mar2014,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}}@COMMENT{Bibtex file generated on }