@proceedings{SGR+13,
Author = {Schirner, Gunar and Götz, Marcelo and Rettberg, Achim and Zanella, Mauro Cesar and Rammig, Franz J. (Hrsg.)},
Title = {Embedded Systems: Design, Analysis and Verification},

Year = {2013},
Volume = {403},
Month = {01},
Publisher = {Springer},
Series = {IFIP Advances in Information and Communication Technology},
Isbn = {978-3-642-38852-1},
Booktitle = {4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings},
type = {proceedings}
}
@COMMENT{Bibtex file generated on }