@inproceedings{DATE-2015-SeylerSGNT,
	acmid         = "2755765",
	author        = "Jan R. Seyler and Thilo Streichert and Michael Glaß and Nicolas Navet and Jürgen Teich",
	booktitle     = "{Proceedings of the 19th Conference and Exhibition on Design, Automation and Test in Europe}",
	isbn          = "978-3-9815370-4-8",
	pages         = "49--54",
	publisher     = "{ACM}",
	title         = "{Formal analysis of the startup delay of SOME/IP service discovery}",
	year          = 2015,
}