The original and flattened declarative models provide the factbase on which we build a set of rules to study the behavior, the complexity and the structure of a state machine. Furthermore, we treat ...