Lucio, L. (2012) “Verifying Access Control in Statecharts”, Electronic Communications of the EASST, 50. doi: 10.14279/tuj.eceasst.50.739.