Using Timed Model Checking for Verifying Workflows Topics: Modeling Concepts and Information Integration Tools; Modeling Formalisms, Languages and Notations In Proceedings of the 2nd International Workshop on Computer Supported Activity Coordination - Volume 0ICEIS, 75-88, 2005 , Miami, United States