Adenilso da Silva Simão, Alexandre Petrenko: Generating asynchronous test cases from test purposes. Inf. Softw. Technol. 53(11): 1252-1262 (2011)