@phdthesis{Beyer2007, author = {Dirk Beyer}, title = {Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata}, type = {doctoralthesis}, school = {BTU Cottbus - Senftenberg}, year = {2007}, }