Guided Specification and Analysis of a Loyalty Card System. - Laurent Cuennet; Marc Pouly; Sasa Radomirovic (GraMSec@CSF, 2015)