Study on the Transformation Method of AADL-Based Reliability Model in the Embedded System. - Jianjun Liu; Haining Meng; Yinglan Huang; Shan Zhong (CloudComp, 2013)