Model Based Testing for Real : The Inhouse Card Case