Disjunctive Modal Transition Systems Research Articles