@article{BubelHaehnle04,
  author = 	 {Richard Bubel and Reiner H\"{a}hnle},
  title = 	 {Formal Specification of Security-Critical Railway 
                  Software with the {KeY} System},
  year =	 {2005},
  month = jun,
  volume = 7,
  number = 3,
  pages = {197--211},
  url = {http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1007/s10009-004-0167-4},
  journal =      {Software Tools for Technology Transfer}
}