Formal Modelling Techniques for Efficient Development of Railway Control Products (BiBTeX)

@InProceedings{butler17:_formal,
  author = 	 {Michael Butler and Dana Dghaym and Tomas Fischer and Thai Son Hoang and Klaus Reichl and Colin Snook and Peter Tummeltshammer},
  title = 	 {Formal Modelling Techniques for Efficient Development of Railway Control Products
},
  pages = 	 {71--86},
  crossref = 	 {fantechi17:_rssrail},
  doi = 	 {10.1007/978-3-319-68499-4_5},
  url = 	 {http://doi.org/10.1007/978-3-319-68499-4_5},
  note = 	 {Available at \url{http://doi.org/10.1007/978-3-319-68499-4_5}}
}

@Proceedings{fantechi17:_rssrail,
  title = 	 {RSSRail2017: Proceedings of the Second International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification},
  year = 	 2017,
  editor = 	 {Alessandro Fantechi and Thierry Lecomte and Alexander Romanovsky},
  volume = 	 10598,
  series = 	 {Lecture Notes in Computer Science},
  address = 	 {Pistoia, Italy},
  month = 	 nov,
  publisher = 	 {Springer},
  isbn = 	 {978-3-319-68498-7},
  doi = 	 {10.1007/978-3-319-68499-4},
  url = 	 {https://doi.org/10.1007/978-3-319-68499-4},
  note = 	 {Available at \url{https://doi.org/10.1007/978-3-319-68499-4}}
}