A GUI for developing MARTe2 configuration files, supports all aspects including states. Is plugin based allowing you to add features as needed.