Syntax of the CMWB General Graph syntax Finite State Automata Regular Expressions Linear Temporal Logic Markov Chains Dataflow models Max-Plus Models