@inproceedings{32012,
               author = {Stefan Lämmermann, Lukas Pielawa, Andreas Burger, Jan Schlemminger, Jürgen Ruf, Thomas Kropf, Andreas Hein, Wolfgang Rosenstiel},
               title = {Heterogeneous Assertion-Based Verification for Medical Devices Development},
               booktitle = {The 17th Workshop on Synthesis And System Integration of Mixed Information Technologies (Sasimi 2012)},
               year = {2012},
               month = {3},
               pages = {pp. 211 - 216},
               address = {Oita Japan}
}