Model based testing of the Yatzee Game