Agile modeling of an evolving ballistic missile defense system with Object-Process Methodology | IEEE Conference Publication | IEEE Xplore