Georges Morbé, Christoph Scholl. Fully Symbolic Model Checking for Incomplete Systems of Timed Automata. In Jens Brandt, Klaus Schneider, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, March 5-7, 2012. pages 97-108, Verlag Dr. Kovac, 2012.