1. OMG Systems Modeling Language ( Object Management Group SysML). O. M. Group (Ed.) (2012)
2. Abdelhakim, B.: State machine diagram verification (2015). https://github.com/gitmodelcheking/ATM/blob/master/ATM.nm
3. Lecture Notes in Computer Science;T Ando,2013
4. Baier, C., Katoen, J.P.: Principles of Model Checking (Representation and Mind Series). The MIT Press, Cambridge (2008)
5. Lecture Notes in Computer Science;G Behrmann,2004