Lucio, Levi, Qin Zhang, Vasco Sousa, and Yves Le Traon. 2012. “Verifying Access Control in Statecharts”. Electronic Communications of the EASST 50 (September). https://doi.org/10.14279/tuj.eceasst.50.739.