module Interface =


process getSpeed =
   ( ? event clk_getSpeed;
     ! integer SpeedValue;
   )
   spec (| clk_getSpeed ^= SpeedValue |)
;


process setDeltaTorque =
   ( ? event clk_setDeltaTorque;
       dreal newDeltaTorque;
     !
   )
   spec (| clk_setDeltaTorque ^= newDeltaTorque |)
;


process updateOrderedSpeedDisplay =
   ( ? event clk_updateOrderedSpeedDisplay;
       integer info;
     !
   )
   spec (| clk_updateOrderedSpeedDisplay ^= info |)
;


process updateDisplay =
   ( ? event clk_updateDisplay;
       string info;
     !
   )
   spec (| clk_updateDisplay ^= info |)
;


end;