@mastersthesis{skramerMScThesis,
	Year = {2001},
	Title = {A Formal Specification for a Real-Time Train Controller},
	School = {\'{E}cole Polytechnique F\'{e}d\'{e}rale de Lausanne, Switzerland},
	Author = {S. Kramer}}