In this paper, specification and planning of UAV missions, in which interaction with the operators, adversaries, and the environment plays a crucial role, are studied. A novel specification method is introduced to model interactive tasks in UAV missions and process algebra framework is used to model complex interactive tasks from relatively simple ones. An anytime state-space search algorithm is proposed. The algorithm effectively searches for a feasible solution and improves on such solution over time, eventually terminating with an optimal solution.