The package de.uni_luebeck.isp.rvtool.rvlib.automatons contains all classes necessary for creating an alternating mealy automaton.