Yi-Liang Chen Stéphane Lafortune Feng Lin Resolving Feature Interactions Using Modular Supervisory Control with Priorities. 108-122 1997 conf/fiw/1997 FIW db/conf/fiw/fiw1997.html#ChenLL97