@INPROCEEDINGS{CKGJSCC14,
 author = {Saoussen Cheikhrouhou and Slim Kallel and Nawal Guermouche
                  and Mohamed Jmaiel},
 title = {{Enhancing Formal Specification and Verification of Temporal
                  Constraints in Business Processes}},
 booktitle = {Proceedings of the 11th IEEE International Conference on
                  Services Computing (SCC)},
 month = {June},
 year = {2014},
 LOcation = {Anchorage, Alaska, USA},
 publisher = {IEEE Computer Society}
}