A. Gotlieb, M. Louarn, M. Nygard, T. Ruiz-Lopez, S. Sen, and R. Gori, “Constraint-Based Verification of a Mobile App Game Designed for Nudging People to Attend Cancer Screening”, AAAI, vol. 31, no. 2, pp. 4678-4685, Feb. 2017.