F. Majidi and A. Harounabadi, “Presentation of an executable model for evaluation of software architecture using blackboard technique and formal models”, JACST, vol. 4, no. 1, pp. 23–31, Jan. 2015, doi: 10.14419/jacst.v4i1.3982.