@misc{Lü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}}@COMMENT{Bibtex file generated on }