@inproceedings{DBLP:conf/kbse/CavadaCMMMMPRST09,
  author    = {Roberto Cavada and
               Alessandro Cimatti and
               Alessandro Mariotti and
               Cristian Mattarei and
               Andrea Micheli and
               Sergio Mover and
               Marco Pensallorto and
               Marco Roveri and
               Angelo Susi and
               Stefano Tonetta},
  title     = {{Supporting Requirements Validation: The EuRailCheck Tool}},
  booktitle = {{ASE} 2009, 24th {IEEE/ACM} International Conference on Automated
               Software Engineering, Auckland, New Zealand, November 16-20, 2009},
  pages     = {665--667},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {http://dx.doi.org/10.1109/ASE.2009.49},
  doi       = {10.1109/ASE.2009.49},
  timestamp = {Tue, 05 Apr 2016 18:02:48 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/kbse/CavadaCMMMMPRST09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}