Paper formalising the semantics of SysML state machines in mCRL2 presented at FORTE 2021

The paper A Formalisation of SysML State Machines in mCRL2 by Mark Bouwman, Bas Luttik and Djurre van der Wal was presented at FORTE 2021, a workshop co-located with DisCoTec 2021. Both the paper and Mark Bouman’s presentation are available online.