@TECHREPORT\{IMM1993-01883, author = "M. R. Hansen and E. Olderog and M. Schenke and M. Fr{\"{a}}nzle and B. v. Karger and M. Müller-Olm and H. Rischel", title = "A Duration Semantics for Real-Time Reactive Systems", year = "1993", number = "", series = "", institution = "Report no. {OLD} {MRH} 1/{1,} ProCoS {ESPRIT} {BRA} 7071, Oldenburg University, Germany", address = "", type = "", url = "http://www2.compute.dtu.dk/pubdb/pubs/1883-full.html" }