Design and Safety Analysis for System Architecture: A Breeze/ADL-Based Approach | IEEE Conference Publication | IEEE Xplore