@inproceedings{DATE-2015-AndradeMVAPL,
	acmid         = "2757199",
	author        = "Liliana Andrade and Torsten Maehne and Alain Vachoux and Cédric Ben Aoun and François Pêcheux and Marie-Minerve Louërat",
	booktitle     = "{Proceedings of the 19th Conference and Exhibition on Design, Automation and Test in Europe}",
	isbn          = "978-3-9815370-4-8",
	pages         = "1671--1676",
	publisher     = "{ACM}",
	title         = "{Pre-simulation symbolic analysis of synchronization issues between discrete event and timed data flow models of computation}",
	year          = 2015,
}