Small Satellite System Modeling for Vulnerability Analysis | IEEE Conference Publication | IEEE Xplore