Xiwei Xu, Liming Zhu, Jim Li, Len Bass, Qinghua Lu, Min Fu. Modeling and analysing operation processes for dependability. In 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013. pages 1-2, IEEE, 2013. [doi]
Abstract is missing.