TMK models to HTNs : translating process models into hierarchical task networks