Model-Based RAMS: Optimizing Model Development in a Distributed Working Environment | IEEE Conference Publication | IEEE Xplore