@phdthesis{Beyer, author = {Beyer, Dirk}, title = {Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:co1-000000258}, language = {de} }