related documents Symbolic Synthesis and Verification of Hierarchical Interface-based Supervisory Control Conferences