Autonomy requirements engineering for micro-satellite systems: CubeSat case study | IEEE Conference Publication | IEEE Xplore