Lucio, L.; Zhang, Q.; Sousa, V.; Le Traon, Y. Verifying Access Control in Statecharts. eceasst 2012, 50.