@ARTICLE{jss96,
  author = {Mohamed Jmaiel},
  title = {Specification of Communication Protocols using Temporal Logic},
  journal = {Journal of Systems and Software, Special Issue on Software Engineering
	for Distributed Systems},
  year = {1996},
  volume = {33},
  pages = {299--312},
  number = {3},
  month = {June},
  address = {New York},
  doi = {10.1016/0164-1212(96)00049-0},
  owner = {Mohamed},
  publisher = {Elsevier Science Inc.},
  timestamp = {2009.11.03}
}