Yahtzee model built with Microsoft Spec Explorer