added eventb to supported formalism