Run-time consistency checking in discrete simulation models. - J. W. G. Fleurkens; C. A. J. van Eijk; Jochen A. G. Jess (ED&TC, 1995)