A linguistic framework for controlled hierarchical DES