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.

• The insurance company case study used in the paper Model Checking Early Requirements Specifications in Tropos published in the Proceedings of the Requirements Engineering Conference in 2001.
• The course-management case study used in the paper Specifying and Analyzing Early Requirements: Some Experimental Results published in the Proceedings of the Requirements Engineering Conference in 2003.
• The agriculture case study used in the paper Agent-oriented modeling by interleaving formal and informal specification published in the Proceedings of the Agent Oriented Software Engineering Workshop in 2003.