module complex:

input ignition_on,ignition_off,accel;

input door_opened, door_locked;

output alarm,control_throttle,door_lock;

 loop

   abort
     await ignition_on;
     emit door_lock;
     loop
         await door_locked;
         abort 
            every accel do 
             emit control_throttle
            end every
         when door_opened;
         emit alarm;
         emit door_lock;
     end;
   when ignition_off

 end
  

end module 

module simple:

input ignition_on,ignition_off,accel;

output control_throttle;

 loop

   abort 
     
     await ignition_on;
            every accel do 
             emit control_throttle
            end every
   
   when ignition_off

 end
  

end module