========
>> Inferred initial state: state_travelling
Trace:    t1 [/home/nihil/Work/FMEA/sbdl/example/logs/emergency_stop.log:2]
Type:     state [state_travelling]
--------
Aspect:   Unknown
State:    state_travelling
Function: Unknown
Event:    Unknown
========
>> Function entered: func_emergency_stop
Trace:    t2 [/home/nihil/Work/FMEA/sbdl/example/logs/emergency_stop.log:3]
Type:     function [func_emergency_stop]
--------
Aspect:   safety_monitor
State:    state_travelling
Function: func_emergency_stop
Event:    Unknown
========
>> Event: fault_detected; Transition tr_motion_to_fault: state_in_motion -> state_fault
Trace:    t3 [/home/nihil/Work/FMEA/sbdl/example/logs/emergency_stop.log:4]
Type:     event [fault_detected]
--------
Aspect:   safety_monitor
State:    state_fault
Function: func_emergency_stop
Event:    fault_detected
========
>> Event: engage_brake
Trace:    t4 [/home/nihil/Work/FMEA/sbdl/example/logs/emergency_stop.log:5]
Type:     event [engage_brake]
--------
Aspect:   safety_monitor
State:    state_fault
Function: func_emergency_stop
Event:    engage_brake
========
>> Event: cut_power
Trace:    t5 [/home/nihil/Work/FMEA/sbdl/example/logs/emergency_stop.log:6]
Type:     event [cut_power]
--------
Aspect:   safety_monitor
State:    state_fault
Function: func_emergency_stop
Event:    cut_power
========
>> Event: halt_cabin
Trace:    t6 [/home/nihil/Work/FMEA/sbdl/example/logs/emergency_stop.log:7]
Type:     event [halt_cabin]
--------
Aspect:   safety_monitor
State:    state_fault
Function: func_emergency_stop
Event:    halt_cabin
========
>> Event: raise_alarm
Trace:    t7 [/home/nihil/Work/FMEA/sbdl/example/logs/emergency_stop.log:8]
Type:     event [raise_alarm]
--------
Aspect:   safety_monitor
State:    state_fault
Function: func_emergency_stop
Event:    raise_alarm
========
>> State asserted: state_fault
Trace:    t8 [/home/nihil/Work/FMEA/sbdl/example/logs/emergency_stop.log:9]
Type:     state [state_fault]
--------
Aspect:   safety_monitor
State:    state_fault
Function: func_emergency_stop
Event:    raise_alarm
========
>> Function entered: func_return_to_service
Trace:    t9 [/home/nihil/Work/FMEA/sbdl/example/logs/emergency_stop.log:10]
Type:     function [func_return_to_service]
--------
Aspect:   safety_monitor
State:    state_fault
Function: func_return_to_service
Event:    raise_alarm
========
>> Event: fault_cleared; Transition tr_fault_to_idle: state_fault -> state_idle
Trace:    t10 [/home/nihil/Work/FMEA/sbdl/example/logs/emergency_stop.log:11]
Type:     event [fault_cleared]
--------
Aspect:   safety_monitor
State:    state_idle
Function: func_return_to_service
Event:    fault_cleared
========
>> State asserted: state_idle
Trace:    t11 [/home/nihil/Work/FMEA/sbdl/example/logs/emergency_stop.log:12]
Type:     state [state_idle]
--------
Aspect:   safety_monitor
State:    state_idle
Function: func_return_to_service
Event:    fault_cleared
========