Diagnosability verification for hybrid automata and durational graphs | IEEE Conference Publication | IEEE Xplore