A Solution Relying on the Model Checking of Boolean Transition Systems.

Jorge Cuéllar Dieter Barnard Martin Huber A Solution Relying on the Model Checking of Boolean Transition Systems. 213-251 1994 conf/dagstuhl/1994fss Formal Systems Specification db/conf/dagstuhl/fss1994.html#CuellarBH94