== Setting ==

fueling_rate = 2
bound = 2
Limit = 9


== Scenario 1. sys_m3_ProB ==

- AC_send an activation 
- Tick x 2 (to reach the deadline for activate)
  + Notice that this cannot be intercepted (channel is reliable)
  + Tick is blocked
  
- activate the GU

- (Tick -> service) x 2

- Tick is blocked -> The AC need to send deactivate request

- AC send a deactivation request (by either channel)

- spoof can send a deactivation request through Deact channel (unauthentic)

	+ either deactivate (with the genuin message) or deactivate_spontaneously with the unauthentic message, but NOT do that

- (Tick -> service) x 2

- Tick is now blocked as it is the time for deactivate (choose either).

== Scenario 1. sys_m3_ProB ==

- Change the reliability of Ac_2_Gu_Act to FALSE

- AC_send an activation 
- Notice now that the activation message can be intercept (channel is no longer reliable)
  
- activate the GU

- (Tick -> service) x 2

- Tick is blocked -> The AC need to send deactivate request

- AC send a deactivation request (can only send via Deact channel, Act channel is not reliable)

The rest is the same as before.

- spoof can send a deactivation request through Deact channel (unauthentic)

	+ either deactivate (with the genuin message) or deactivate_spontaneously with the unauthentic message, but NOT do that

- (Tick -> service) x 2

- Tick is now blocked as it is the time for deactivate (choose either).
