TITLE     : On specifying real-time systems in a causality-based setting
AUTHOR(S) : Katoen Jp, Latella D, Langerak R, Brinksma E
TYPE      : Conference article
YEAR      : 1996
CODE      : 190735

*** DO NOT EDIT THIS FILE ***