@InProceedings{,
  author = 	 {T. Cattel},
  title = 	 {Modelling and verification of a multiprocessor realtime OS 
kernel},
  booktitle = 	 {Proceedings of the Seventh International Conference on Formal Description Techniques, Berne, Switzerland},
  OPTyear = 	 {1994},
  OPTmonth = 	 {October},
}