Formal Tropos Case Studies

We applied the Formal Tropos methodology on several case studies in different applicative domains. The case studies considered range from "toy" examples to industrial case studies. Here we presents the ones not covered by non-disclosure agreements that have been considered so far in the papers presented to conferences or submitted to journals.