Majidi, F.; Harounabadi, A. Presentation of an Executable Model for Evaluation of Software Architecture Using Blackboard Technique and Formal Models. JACST 2015, 4 (1), 23-31. https://doi.org/10.14419/jacst.v4i1.3982.