Text this: Towards a model-driven engineering approach for trusted execution environments