Toward requirements engineering of cyber-physical systems: Modeling CubeSat | IEEE Conference Publication | IEEE Xplore