The formal method RAISE and its associated specification language, RSL, are assessed by a number of consumers in the LaCoS project. The consumers apply the technology to their industrial applications and document their experience in a number of assessment reports. This report is based on the consumers' response to using RAISE and RSL and covers the first 1 1/2 year of the LaCoS project.