Formal methods in computer-aided design - Hunt, Warren A.; Johnson, Steven D. (Lecture notes in computer science, 2000)