fix issue#2 : initial state must be defined in FSM declared states
implement feature#1 : FSM can have multiple final states
log event timestamp as human readable date