Symbolic Model Checking: 10^20 States and Beyond - Jerry R. Burch; Edmund M. Clarke; Kenneth L. McMillan; David L. Dill; L. J. Hwang (Inf. Comput., 1992)