Correct Hardware Design and Verification Methods - Borrione, Dominique (Springer Berlin Heidelberg, 2020)