is mentioned

In prior sections: mb events mb automata 1 mb basic mb structures mb declaration

Try larger context: GenAutomata