Title: Architectural Modeling and Analysis for Safety Engineering