@inproceedings{MoDELS-2019-BesnardTJ0D19a,
	author        = "Valentin Besnard and Ciprian Teodorov and Frédéric Jouault and Matthias Brun 0001 and Philippe Dhaussy",
	booktitle     = "{22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019, Munich, Germany, September 15-20, 2019}",
	doi           = "10.1109/MODELS.2019.000-5",
	isbn          = "978-1-7281-2536-7",
	pages         = "161--171",
	publisher     = "{IEEE}",
	title         = "{Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach}",
	year          = 2019,
}