//! MLS Chapter 17: State Machines
//!
//! This module tests conformance to MLS 3.7-dev Chapter 17, which defines:
//! - §17.1 Transitions
//! - §17.2 State Machine Graphics
//! - §17.3 State Machine Semantics
//!
//! Reference: https://specification.modelica.org/master/state-machines.html