Principles of functional verification. - Meyer, Andreas (Newnes, 2003)