@inproceedings{FM-2016-FilipovikjMMSLL,
	author        = "Predrag Filipovikj and Nesredin Mahmud and Raluca Marinescu and Cristina Seceleanu and Oscar Ljungkrantz and Henrik Lönn",
	booktitle     = "{Proceedings of the 21st International Symposium of Formal Methods}",
	doi           = "10.1007/978-3-319-48989-6_46",
	isbn          = "978-3-319-48988-9",
	pages         = "748--756",
	title         = "{Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems}",
	year          = 2016,
}