Once you have acquainted yourselves with the basic working of the Overture tool using the tutorials, it is time to check out the available manuals, which consist of a language manual (TR-001) and a user guide (TR-002). Finally, there is a technical report describing how the Overture tools can be used as part of an industrial development process (TR-006).
Note that there is a large collection of examples on-line available, and it is worth checking them out! Additional publications can be found on our development wiki Publication page. For tutors that plan to use Overture tool in a classroom setting, note that there is a large collection of teaching materials available, including lecture slides!