Formal techniques for the modelling and validation of a co-operating UAV team that uses Dubins set for path planning | IEEE Conference Publication | IEEE Xplore