@inproceedings{Andre17FMICS,
	author = {Andr{\'e}, {\'E}tienne},
	booktitle =		{Proceedings of the International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS-AVoCS 2017)},
	doi = {10.1007/978-3-319-67113-0_7},
	editor = {Cavalcanti, Ana and Petrucci, Laure and Seceleanu, Cristina},
	location = {Torino, Italy},
	pages = {100--115},
	publisher = {Springer},
	series    = {Lecture Notes in Computer Science},
	title = {A unified formalism for monoprocessor schedulability analysis under uncertainty},
	volume = {10471},
	year = {2017},
	lipn-category = {intc},
	keywords = {intc},
}