Practical design verification - Pradhan, Dhiraj K.; Harris, Ian G. (Cambridge University Press, 2009)