Udo W. Lipeck, Gunter Saake. Entwurf von Systemverhalten durch Spezifikation und Transformation temporaler Anforderungen. In Rüdiger Valk, editor, GI - 18. Jahrestagung II, Vernetzte and komplexe Informatik-Systems, Hamburg, 17.-19. Oktober 1988, Proceedings. Volume 188 of Informatik-Fachberichte, pages 449-463, Springer, 1988.
Abstract is missing.