Xu, et al.. Modeling and Analysing Operation Processes for Dependability. IEEE, 2013, doi:10.1109/dsn.2013.6575337.