Automating specification-based software testing - Poston, Robert M. (IEEE Press /New York, 1996)