Authors: Stuart, DA Brockmeyer, M Mok, AK Jahanian, F

Citation: Da. Stuart et al., Simulation-verification: Biting at the state explosion problem, IEEE SOFT E, 27(7), 2001, pp. 599-617

Authors: Brockmeyer, M Jahanian, F Heitmeyer, C Winner, E

Citation: M. Brockmeyer et al., A flexible, extensible simulation environment for testing real-time specifications, IEEE COMPUT, 49(11), 2000, pp. 1184-1201