@article{,
  author = 	 {Magnus Lindahl and Paul Pettersson and Wang Yi},
  title = 	 {{Formal Design and Analysis of a Gearbox Controller}},
  journal = 	 {Springer International Journal of Software Tools for Technology Transfer (STTT)},
  year = 	 {2001},
  volume = 	 {3},
  number = 	 {3},
  pages = 	 {353--368}
}