Olivier Coudert Jean Christophe Madre The Implicit Set Paradigm: A New Approach to Finite State System Verification. 133-145 1995 6 Formal Methods in System Design 2 db/journals/fmsd/fmsd6.html#CoudertM95 http://dx.doi.org/10.1007/BF01383965