Planning with process algebraic constraints: Application to multi-vehicle routing problem | IEEE Conference Publication | IEEE Xplore