Formal hardware verification : methods and systems in comparison - Kropf, Thomas, 1961- (Springer, 1997)