State-based model checking of event-driven system requirements.

Joanne M. Atlee John D. Gannon State-based model checking of event-driven system requirements. 16-28 1991 SIGSOFT https://doi.org/10.1145/125083.123047 https://doi.org/10.1145/123041.123047 conf/sigsoft/1991 db/conf/sigsoft/sigsoft1991.html#AtleeG91