@STRING{formsformat = {Formal Methods for Automation and Safety in Railway and Automotive Systems} }
@InProceedings{PGHD:2004,
  language      = {USenglish},
  author        = {Jan Peleska and Daniel Gro{\ss}e and Anne E. Haxthausen and Rolf Drechsler},
  title         = {Automated Verification For Train Control Systems},
  booktitle     = formsformat,
  pages         = {252--265},
  year          = 2004
}