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