the modeling language are timed automata extended with concepts for modular modeling future services to rafina will be on new lines currently under consideration yego ndaje niko guhita abyuka