Omar el Ariss, Dianxiang Xu: System Modeling with UML State Machines. Handbook of Finite State Based Models and Applications 2012: 371-386