@inproceedings{cavada2009supporting,
  title={Supporting requirements validation: The EuRailCheck tool},
  author={Cavada, Roberto and Cimatti, Alessandro and Mariotti, Alessandro and Mattarei, Cristian and Micheli, Andrea and Mover, Sergio and Pensallorto, Marco and Roveri, Marco and Susi, Angelo and Tonetta, Stefano},
  booktitle={Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering},
  pages={665--667},
  year={2009},
  organization={IEEE Computer Society}
}