Requirements-driven satellite system design | IET Conference Publication | IEEE Xplore