Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno. Composing hierarchical stochastic model from SysML for system availability analysis. In IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013, Pasadena, CA, USA, November 4-7, 2013. pages 51-60, IEEE, 2013. [doi]
Abstract is missing.