Yi-Sheng Huang, Ho-Shan Chiang, MuDer Jeng. Fault measure of discrete event systems using probabilistic timed automata. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Anchorage, Alaska, USA, October 9-12, 2011. pages 1218-1223, IEEE, 2011. [doi]
Abstract is missing.