@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 }