Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten
A. Krupp, W. Müller, (2003).