Pātuhitia tēnei: Practical model-based testing