Laurent Cuennet, Marc Pouly, Sasa Radomirovic. Guided Specification and Analysis of a Loyalty Card System. In Sjouke Mauw, Barbara Kordy, Sushil Jajodia, editors, Graphical Models for Security - Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers. Volume 9390 of Lecture Notes in Computer Science, pages 66-81, Springer, 2015. [doi]
Abstract is missing.