Deriving a module of a multi agent system via Finite State Machine equation solving