Applying formal methods to software testing - Philip Alan Stocks (1993)