delete method;
use FSM to describe safety transition;
fix bug
check deadlock by using linear temporal logic
use list and map to store mode of node and event of arch