A formal framework to model and validate event-based software architecture. - Yahya Asadollahi; Vahid Rafe; Samaneh Asadollahi; Somayeh Assadollahi (WCIT, 2011)