// ************************************************************************** // // // // 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 // // // // ************************************************************************** // package CruiseControl; module ManualMode( event ?accel_released, ?accel, int !controlThrottle ) { int throttle; throttle = 5; always { abort every (accel) { controlThrottle = throttle + 2; } when (accel_released); } }