An executable and changeable reference model for the health insurance industry. - Jaco Verheul; Ella E. Roubtsova (BM-FA, 2011)