publication venue for Symbolic Synthesis and Verification of Hierarchical Interface-based Supervisory Control 2006