A Specification Method for Desirable Controlled Behavior for Supervisory Control Logic Synthesis of a Multi-Robot Assembly Cell