Analysis of workflows: Verification, validation, and performance.
- WFMC: Work ow Management Coalition Terminology and Glossary
Technical report, Work ow Management Coalition, Brussels, 1996.
Protocol Validation: Timed Automata
- Norbert Giambiasi, Bruno Escude, and Sumit Ghosh,
GDEVS: A Generalized Discrete Event Specification for Accurate
Modeling of Dynamic Systems - Transactions of the SCS International,
Vol. 17, No. 3, September 2000, pp. 120-134, San Diego, CA.
-B. Zeigler, H. Praehofer and T.G Kim
Theory of Modelling and Simulation - Academic Press - 2000
System Theoric Foundations for combined Discrete-Continuous System
Simulation. Phd, J.Kepler University of Linz, Austria, 1991
Object-Oriented Simulation with Hierarchical, Modular Models
Published by Academic Press Inc., 1990.