@InProceedings{dw00,
  author = 	 {Alexandre David and Wang Yi},
  title = 	 {Modelling and Analysis of a Commercial Field Bus Protocol},
  booktitle =    {Proceedings of the 12th Euromicro Conference on Real Time Systems},
  pages = 	 {165--172},
  year = 	 {2000},
  publisher =    {IEEE Computer Society},
  isbn =         {0-7695-0734-4}
}