Symbolic model checking - McMilan, Kenneth L (Kluwer Academic Publishers, 1993)