// ************************************************************************** // // // // eses eses // // eses eses // // eses eseses esesese eses Embedded Systems Group // // ese ese ese ese ese // // ese eseseses eseseses ese Department of Computer Science // // eses eses ese eses // // eses eseses eseseses eses University of Kaiserslautern // // eses eses // // // // ************************************************************************** // // The module below observes the amount of CO in the air. // // ************************************************************************** // package MinePump; module COAirFlowMonitor(event ?COCritical,?AirflowCritical,!AlertOP) { always if(COCritical | AirflowCritical) emit (AlertOP); }