Synthesis using approximately bisimilar abstractions: time-optimal control problems | IEEE Conference Publication | IEEE Xplore