Majidi F, Harounabadi A. Presentation of an executable model for evaluation of software architecture using blackboard technique and formal models. JACST [Internet]. 2015 Jan. 16 [cited 2024 May 5];4(1):23-31. Available from: https://www.sciencepubco.com/index.php/JACST/article/view/3982