New Results on Testing Modularity of Local Supervisors using Abstractions | IEEE Conference Publication | IEEE Xplore