@inproceedings{Hen05a,
	author =	{Hendriks, M.},
	title =		{Model Checking the Time to Reach Agreement},
	booktitle =	{3rd International Conference on the Formal 
Modeling and Analysis of Timed Systems (FORMATS'05)},
	year =		{2005},
	editor =	{Pettersson, P. and Yi, W.},
	number =	{3829},
	series =	{{LNCS}},
	publisher = 	{{S}pringer--{V}erlag},
	pages =		{98--111}
}