Towards CSP-based mission dispatching in C2/C4I systems | IEEE Conference Publication | IEEE Xplore