@inproceedings{AFMS19,
	author = {Andr{\'e}, {\'E}tienne and Fribourg, Laurent and Mota, Jean-Marc and Soulat, Romain},
	title = {Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking},
	longbooktitle = {Proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation ({VMCAI} 2019)},
	booktitle = {{VMCAI}},
	editor = {Enea, Constantin and Piskac, Ruzica},
	location = {Lisbon, Portugal},
	confdates = {13-15 January 2019},
	publisher = {Springer},
	series    = {Lecture Notes in Computer Science},
	pages = {409--424},
	year = {2019},
	doi = {10.1007/978-3-030-11245-5\_19},
}