Verifying Access Control in Statecharts. - Levi Lucio; Qin Zhang 002; Vasco Sousa; Yves Le Traon (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Invariant preservation in iterative modeling. - Levi Lúcio; Eugene Syriani; Moussa Amrani; Qin Zhang 002; Hans Vangheluwe (ME@MoDELS, 2012)

Advances in Model-Driven Security. - Levi Lucio; Qin Zhang 002; Phu Hong Nguyen; Moussa Amrani; Jacques Klein; Hans Vangheluwe; Yves Le Traon (Adv. Comput., 2014)