Model Based Testing Example