Contents: 1. Introduction. 2. Language Elements. 3. Composite Types. 4. Expressions. 5. Behavioral Modeling. 6. Structural Modeling. 7. Other Topics. 8. Advanced Verification Topics. 9. Assertions.
