An embeddable virtual machine for state space generation - Weber, Michael (International journal on software tools for technology transfer, 2010)