@ARTICLE {3845,
author={F. Liu and D. Qiu Qiu},
doi={10.1109/TAC.2008.921035},
journal={IEEE Transactions on Automatic Control},
title={Safe diagnosability of stochastic discrete event systems},
year={2008},
month={January},
volume={53},
number={6},
pages={1291-1296},
ISSN={0018-9286}
}