Run-Time Fault Detection Using Automatically Generated Fault Tree Based on UML. - Junhee Kim; Shinwook Ghang; Eunseok Lee 001 (ICHIT (2), 2012)