Mark C. Hansen John P. Hayes High-Level Test Generation Using Symbolic Scheduling. 586-595 1995 conf/itc/1995 ITC db/conf/itc/itc1995.html#HansenH95 http://dx.doi.org/10.1109/TEST.1995.529887