... of analyzing their behavior can become difficult. Changing, introducing or removing a single rule from a rule base, for example, can have undesirable side effects (e.g. making the KB of the system inconsistent). For this reason, the extensive and formal analysis of reactive rule-based systems is required...