State space reconstruction for on-line model checking with UPPAAL Rinast, Jonas Schupp, Sibylle Gollmann, Dieter 2013 - TUHH Open Research