Design of (re-)active systems using triggers with complex events. - Lenz, Richard; Wedekind, Hartmut; Schuster, Hans (1993)
UnivIS-Import:2016-06-23:Pub.1993.tech.IMMD.IMMD6.design