@miscLü1998, Author = {Lüth, Karsten and Metzner, Alexander and Niehaus, Jürgen}, Title = {A STATEMATE-based Rapid Prototyping Environment}, Year = {1998}, Month = {01}, type = {misc} @COMMENTBibtex file generated on