Symbolic model checking - McMillan, Kenneth L. (Kluwer, 2003)