@inproceedings{lpw:tacas98,
  author = 	 {Magnus Lindahl and Paul Pettersson and Wang Yi},
  title = 	 {{Formal Design and Analysis of a Gear-Box Controller}},
  year = 	 {1998},
  month = 	 Mar,
  series =       {Lecture Notes in Computer Science},
  booktitle =    {Proc.\ of the 4{\em th} Workshop on Tools and Algorithms 
                  for the Construction and Analysis of Systems},
  pages =        {281--297},
  number =       1384,
  publisher =    { Springer--Verlag }
}