Using heaps-of-pieces in synthesis of time optimal supervisors | IEEE Conference Publication | IEEE Xplore