@INPROCEEDINGS{dundee95,
author = {Mohamed Jmaiel},
title = {Development of Communication Protocols by Composing and
Refining Temporal Specifications},
booktitle = {Proceedings of the 4th Software Quality Conference},
year = {1995},
month = {July},
organization = {University of Abertay Dundee, Scotland, UK},
owner = {mohamed},
timestamp = {2009.11.03}
}