Formal hardware verification : methods and systems in comparison - Kropf, Thomas, 1961- (Lecture notes in computer science ;, 1997)