@inproceedings{lp:prfts97,
  author = 	 {Henrik L\"onn and Paul Pettersson},
  title = 	 {{Formal Verification of a TDMA Protocol Startup Mechanism}},
  booktitle = 	 {Proc.\ of the {\sl Pacific Rim 
                  Int.\ Symp.\ on Fault-Tolerant Systems}},
  month =        Dec,
  pages =        {235--242},
  year = 	 {1997}
}