Institute for Research in Computer Science and Automation.