On-the-Fly Determinization of Bounded Networks of Timed Automata | IEEE Conference Publication | IEEE Xplore