Arturo González-Ferrer: Knowledge engineering techniques for the translation of process models into temporal hierarchical planning and scheduling domains. University of Granada, Spain 2012