J. W. G. Fleurkens, C. A. J. van Eijk, Jochen A. G. Jess. Run-time consistency checking in discrete simulation models. In 1995 European Design and Test Conference, ED&TC 1995, Paris, France, March 6-9, 1995. pages 223-227, IEEE Computer Society, 1995. [doi]
Abstract is missing.