Introduction To Formal Hardware Verification by Thomas Kropf