TITLE     : Constraint-oriented specification style for time-dependent behavious
AUTHOR(S) : Bolognesi T
TYPE      : Book
YEAR      : 1996
CODE      : 412819

*** DO NOT EDIT THIS FILE ***