Majidi, F., & 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), 23-31. https://doi.org/10.14419/jacst.v4i1.3982