The Minepump case-study has been pesented by Classen et al. (https://projects.info.unamur.be/fts/publications/). The purpose of the minepump system is to keep a mine shaft clear of water while avoiding the danger of a methane related explosion. It consists of a water pump, a sensor measuring the water level and a sensor measuring the abundance of methane in the mine. The system is supposed to activate the pump once the water level reaches a preset threshold, but only if the methane is below a critical limit.
The feature diagram in TVL format (see TVL) may be downloaded here: minepump.tvl
The feature diagram in SPLOT format (see SPLOT) may be downloaded here: minepump.splot.xml
The model may be downloaded here: minepump.fts