@inproceedings{admz09,
author = "C. Andr{\'e}s and G. D{\'i}az and E. Mart{\'i}nez and Y. Zhang",
title = "Formal Study of Prioritized Service Compositions ",
booktitle="5th Int. Conf. on Signal-Image Technology \& Internet-based Systems, SITIS'09",
YEAR = "2011",
"; publisher="IEEE Computer Society Press",
pages="355-362"}