Do You Trust Your Model Checker? - Wolfgang Reif; Jürgen Ruf; Gerhard Schellhorn; Tobias Vollmer (FMCAD, 2000)

Correctness of Efficient Real-Time Model Checking. - Wolfgang Reif; Gerhard Schellhorn; Tobias Vollmer; Jürgen Ruf (J. Univers. Comput. Sci., 2001)