1. Derivation of Stochastic Reward Net for Compatibility and Conformance Verification of Component Erroneous Behavior Model
2. Avizienis A. Laprie J.C. Randell B. and Landwehr C. 2004. Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing 11?33 (2004). 10.1109/TDSC.2004.2 Avizienis A. Laprie J.C. Randell B. and Landwehr C. 2004. Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing 11?33 (2004). 10.1109/TDSC.2004.2
3. Bass L. Clements P. and Kazman R. 2012. Software Architecture in Practice. Addison-Wesley. Bass L. Clements P. and Kazman R. 2012. Software Architecture in Practice. Addison-Wesley.
4. Bernardi S. Merseguer J. and Petriu D.C. 2011. A dependability profile within MARTE. Software and Systems Modeling. (2011). 10.1007/s10270-009-0128-1 Bernardi S. Merseguer J. and Petriu D.C. 2011. A dependability profile within MARTE. Software and Systems Modeling. (2011). 10.1007/s10270-009-0128-1