Modelling unmanned surface vehicle patrol mission with Coalition Battle Management Language (C-BML). (July 2014)