@ARTICLE{Helouet03c,
  author = {Hélouët, Loïc},
  title = {Distributed system requirement modeling with Message Sequence Charts:
	the case of the RMTP2 Protocol},
  journal = {International Journal of Information and Software Technology},
  year = {2003},
  volume = {45},
  number = {11},
  editor = {R. Dssouli, F. Khendec ed.},
  publisher = {Elsevier}
}