@inproceedings{AD16,
	author = {Andr{\'e}, {\'E}tienne and Delahaye, Benoit},
	booktitle =		{Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning (TIME 2016)},
	doi = {10.1109/TIME.2016.19},
	editor = {Dyreson, Curtis and Hansen, Michael R. and Hunsberger, Luke},
	pages = {110--119},
	publisher = {{IEEE} Computer Society},
  	title = {Consistency in Parametric Interval Probabilistic Timed Automata},
	year = {2016},
}