Bounded Model Checking of Incomplete Networks of Timed Automata | IEEE Conference Publication | IEEE Xplore