Lucio, L., Zhang, Q., Sousa, V., & Le Traon, Y. (2012). Verifying Access Control in Statecharts. Electronic Communications of the EASST, 50. https://doi.org/10.14279/tuj.eceasst.50.739