A Methodological Approach to the Requirement Specification of Embedded Systems. - Frank Lattemann; Egbert Lehmann (ICFEM, 1997)

Systematische Spezifikation von Echtzeiteigenschaften: die Punkt-Intervall Logik und ihre Anwendung. - Frank Lattemann (Wiss.-und Technik-Verlag, 1999)