The Cybernetix and Term case studies in muCRL   Yaroslav Usenko
Analysis for a protocol for dynamic configuration of IPv4 link local addresses using UPPAAL   Miaomiao Zhang
MILP approach to the AXXOM case study   Sebastian Panek
Extending the smart-card personalisation system by the graphical treatment  

Angelika Mader,
presented by Ed Brinksma