selected publications conference paper Efficient solution for the state avoidance control problem on concurrent systems using a disjunctive architecture 2006