Modeling and Verification of Space-Air-Ground Integrated Networks on Requirement Level Using STeC | IEEE Conference Publication | IEEE Xplore