Automating specification-based software testing - Poston, Robert M. (IEEE Computer Society, 1996)