Transition Usage State = IDLE and its devices' adminState = LOCKED()

Condition Send Event 
Action Send Arguments 
 Send Target 


Transition between states
FromSHUTTING_DOWNToLOCKED