System verification : proving the design solution satisfies the requirements / Jeffrey O. Grady. - Grady, Jeffrey O. (Academic, 2007)