- Michael Weber:
An embeddable virtual machine for state space generation. Int. J. Softw. Tools Technol. Transf. 12(2): 97-111 (2010) - Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby:
Distributed dynamic partial order reduction. Int. J. Softw. Tools Technol. Transf. 12(2): 113-122 (2010)