Diagnosability verification using compositional branching bisimulation | IEEE Conference Publication | IEEE Xplore