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