A Full Symbolic Reachability Analysis Algorithm of Timed Automata Based on BDD | IEEE Conference Publication | IEEE Xplore