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
fix bug
fix bug
fix bug
set Breeze Object to serializable