A planning model for real-time defence resource allocation and scheduling in a naval command and control system | IEEE Conference Publication | IEEE Xplore