Nine modules covering the next-generation systems modelling language — from foundations and structure to requirements, cases, analysis, and verification.