Corese documentation can be found on the Web site https://project.inria.fr/corese