A bisimulation-like algorithm for abstracting control systems | IEEE Conference Publication | IEEE Xplore