Monalisa Sarma, Rajib Mall: Automatic generation of test specifications for coverage of system state transitions. Inf. Softw. Technol. 51(2): 418-432 (2009)