Formalization and Model Checking of SysML State Machine Diagrams by CSP#.

Takahiro Ando, Hirokazu Yatsu, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda

Browse the full ICCSA paper archive.