Modeling Technology for One Class of Multi-Agent Systems with Automata Based Programming | IEEE Conference Publication | IEEE Xplore