@INPROCEEDINGS{Parolini2015a,
  author = {Luca Parolini and Simone Schuler and Adolfo Anta},
  title = {Benchmark problem: an air brake model for trains},
  booktitle = {Proc. of the Workshop on Applied Verification for Continuous and
	Hybrid Systems (ARCH)},
  year = {2015},
}