L. Lucio, Q. Zhang, V. Sousa, and Y. Le Traon, “Verifying Access Control in Statecharts”, eceasst, vol. 50, Sep. 2012.