Model based testing for a Yatzee Game using Spec Explorer.