Formal Modeling of Concurrent State Machine Diagrams using NuSMV. - Nontawit Markjan; Nuengwong Tuaycharoen; Wiwat Vatanawood (ICCMS, 2025)