The HATP hierarchical planner: Formalisation and an initial study of its usability and practicality | IEEE Conference Publication | IEEE Xplore