GOLD MINE: Specification Language for Event-Based Monitoring. - Wolfgang Kastner; Stefan Stöckler; René Zeitlberger (CONPAR, 1994)