Keywords of M5 specification language

ACT -> cycle
ALT -> refinement
PAR -> refinement
PRED -> synchro
SEQ -> refinement
SIM -> synchro
SUB -> cycle
and -> synchro
by -> refinement
class -> class_specif
contains -> spec_condition
context -> context_specif
cycle -> event_cycle_specif
      -> object_cycle_specif
double_quote -> string_constant
edges -> context_specif
elem -> spec_condition
event -> event_cycle_specif
exec -> process_specif
in -> process_specif
initial -> cycle
intType -> base_type
key -> tuple_class_def
new -> process_specif
nodes -> context_specif
not -> spec_condition
object -> object_cycle_specif
of -> subclass_specif
over -> synchro
post -> process_specif
pre -> process_specif
process -> process_specif
realType -> base_type
refine -> refinement
specification -> m5_specification
stringType -> base_type
subclass -> subclass_specif
subset -> spec_condition
superset -> spec_condition
timeType -> base_type
when -> subclass_specif