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