Majidi, F. and Harounabadi, A. (2015) “Presentation of an executable model for evaluation of software architecture using blackboard technique and formal models”, Journal of Advanced Computer Science & Technology (JACST), 4(1), pp. 23–31. doi:10.14419/jacst.v4i1.3982.