@misc{LaemmelFsml, author = {Ralf L{\"a}mmel}, title = "{Model of a DSL for finite state machines}", year = {2013-14}, note = "Published at \url{http://softlang.uni-koblenz.de/fsml}" }