Formal Methods for Hardware Verification - Bernardo, Marco (Springer Berlin Heidelberg, 2006)