Structured validation of missile systems | IEEE Conference Publication | IEEE Xplore