System of Systems Architecture Modeling and Mission Reliability Analysis Based on DoDAF and Petri Net | IEEE Conference Publication | IEEE Xplore