Sung Kim Farokh B. Bastani I-Ling Yen Ing-Ray Chen Systematic Reliability Analysis of a Class of Application-Specific Embedded Software Frameworks. 218-230 2004 30 IEEE Trans. Software Eng. 4 http://csdl.computer.org/comp/trans/ts/2004/04/e0218abs.htm db/journals/tse/tse30.html#KimBYC04