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. Here you can find the suite that contains incremental FT specifications of the case study.