Textmeddelande: Symbolic model checking / by Kenneth L. McMillan.