Majidi, Fatemeh, and Ali Harounabadi. “Presentation of an Executable Model for Evaluation of Software Architecture Using Blackboard Technique and Formal Models”. Journal of Advanced Computer Science & Technology (JACST), vol. 4, no. 1, Jan. 2015, pp. 23-31, https://doi.org/10.14419/jacst.v4i1.3982.