Majidi, Fatemeh, and Ali Harounabadi. 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.