Formal Hardware Verification : Methods and Systems in Comparison - Thomas Kropf ((Lecture Notes in Computer Science))