Run-time satellite tele-communications call handling as dynamic constraint satisfaction | IEEE Conference Publication | IEEE Xplore