• Nada Sherief, Ayman Abdel-Hamid, and Khaled Mahar, " Threat-Driven Modeling Framework for Secure Software Using Aspect-Oriented Stochastic Petri Nets," in proceedings of the 7th International Conference on Informatics and Systems, INFOS 2010, Cairo, Egypt, March 28-30, 2010.