Verification of complex systems using incremental operational specifications. - William E. Howden; David Nesbitt; Cheron Vail; Bruce Wieand (Inf. Sci., 1991)