@ARTICLE{comnet03,
  author = {Mohamed Jmaiel and Pepper Pepper},
  title = {Development of Communication Protocols Using Algebraic and Temporal
	Specifications},
  journal = {Computer Networks Journal},
  year = {2003},
  volume = {42},
  pages = {737--764},
  address = {Holland},
  doi = {10.1016/S1389-1286(03)00215-9},
  owner = {Mohamed},
  publisher = {Elsevier Science Publisher},
  timestamp = {2009.11.03}
}