Memory-efficient algorithms for the verification of temporal propertiesC. CourcoubetisMoshe Y. Vardiet al.1992Formal Methods in System Design