Specification and Simulation with ExSpect. - Kees M. van Hee; P. M. P. Rambags; Peter A. C. Verkoulen (Functional Programming, Concurrency, Simulation and Automated Reasoning, 1993)