A compositional approach for verifying hierarchical interface-based supervisory control.

Ryan J. Leduc Robi Malik A compositional approach for verifying hierarchical interface-based supervisory control. 104-110 2010 WODES https://doi.org/10.3182/20100830-3-DE-4013.00019 conf/wodes/2010 db/conf/wodes/wodes2010.html#LeducM10