added abort function to src/clockSI_tx_coord_fsm.erl