Formal Hardware Verification by Thomas Kropf