Text this: A model-based testing framework for trusted platform module