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