Lettrari, Marc (2006) Efficient state space exploration of reactive object-oriented programs. PhD, Universität Oldenburg.