IRobot: domain, implementation and tests