Composing hierarchical stochastic model from SysML for system availability analysis | IEEE Conference Publication | IEEE Xplore