Describir: Performance Evaluation and Model Checking Join Forces.