@inproceedings{JanuzajKugeleLangeretal.2010, author = {Januzaj, Visar and Kugele, Stefan and Langer, Boris and Schallhart, Christian and Veith, Helmut}, title = {New Challenges in the Development of Critical Embedded Systems: An "aeromotive" Perspective}, booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010: Proceedings, Part I}, editor = {Margaria, Tiziana and Steffen, Bernhard}, publisher = {Springer}, address = {Berlin}, isbn = {978-3-642-16558-0}, doi = {https://doi.org/10.1007/978-3-642-16558-0_1}, pages = {1 -- 2}, year = {2010}, language = {en} } @inproceedings{HolzerJanuzajKugeleetal.2011, author = {Holzer, Andreas and Januzaj, Visar and Kugele, Stefan and Langer, Boris and Schallhart, Christian and Tautschnig, Michael and Veith, Helmut}, title = {Seamless Testing for Models and Code}, booktitle = {Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011: Saarbr{\"u}cken, Germany, March 26-April 3, 2011: Proceedings}, editor = {Giannakopoulou, Dimitra and Orejas, Fernando}, publisher = {Springer}, address = {Berlin}, isbn = {978-3-642-19810-6}, doi = {https://doi.org/10.1007/978-3-642-19811-3_20}, pages = {278 -- 293}, year = {2011}, language = {en} }