Wendy Belluomini Chris J. Myers Timed state space exploration using POSETs. 501-520 2000 19 IEEE Trans. on CAD of Integrated Circuits and Systems 5 http://doi.ieeecomputersociety.org/10.1109/43.845076 db/journals/tcad/tcad19.html#BelluominiM00