Improving Model-Based System Architecture Specification to Enable Fault Tree Analysis