A graduate course on qualitative modelling and process supervision. - Jan Lunze; Jochen Schröder; P. Supavatanakul (ECC, 2001)

Diagnosis of timed automata with an application to industrial actuators. - Jan Lunze; P. Supavatanakul (Integr. Comput. Aided Eng., 2004)