@INPROCEEDINGS{CheikhrouhouWETICE2014,
 author = {Saoussen Cheikhrouhou and Slim Kallel and Mohamed Jmaiel},
 title = {Toward a Verification of Time-centric Business Process
                  Models},
 booktitle = {Proceedings of the the 23rd IEEE International
                  Conference on Collaboration Technologies and
                  Infrastructure (WETICE)},
 year = {2014},
 publisher = {IEEE Computer Society},
 keywords = {Formal}
}