logging
register pid for easier debugging
correct initial state name
correct implementation of current_timestamp()
trigger event when sending slot is reached
style