Xudong He;Yingjia Ding
-;-
Formally analyzing software architectural specifications using SAM
Journal of Systems and Software