Gianfranco Ciardo Robert M. Marmorstein Radu Siminiceanu The saturation algorithm for symbolic state-space exploration. 4-25 2006 8 STTT 1 http://dx.doi.org/10.1007/s10009-005-0188-7 db/journals/sttt/sttt8.html#CiardoMS06