“…These systems support various formalisms, such as state machines [14,19,11,7,5], regular expressions [4,19], variations over the µ-calculus [6], temporal logics [6,19,7,15,9,10,12], grammars [19], and rulebased systems [8,17]. Some of these systems focus on being efficient.…”