1. Benatallah B, Casati F, Ponge J, Toumani F (2005) On temporal abstractions of web service protocols. In: Proceedings of the 17th conference on advanced information systems engineering (CAiSE), vol 161, pp 13–17. CEUR-WS.org
2. Benatallah B, Casati F, Toumani F (2004) Analysis and management of web service protocols. In: Proceedings of the 23rd international conference on conceptual modeling, vol 3288 of LNCS. Springer, pp 524–541
3. Berthomieu B, Bodeveix J-P, Farail P, Filali M, Garavel H, Gaufillet P, Lang F, Ve rnadat F (2008) Fiacre: an intermediate language for model verification in the topcased environment. In: Proceedings of the 4th European Congress in Embedded Real Time Software, France
4. Berthomieu B, Ribet P-O, Vernadat F (2004) The tool TINA construction of abstract state spaces for petri nets and time petri nets. Int J Prod Res 42(14):2741–2756
5. Bettini C, Wang XS, Jajodia S (2002) Temporal reasoning in workflow systems. Distrib Parallel Databases 11(3):269–306