Model checkers in software testing / - Black, Paul E. (U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, 2002)