Kernel Event Automata Library