On Schedulability Analysis of AADL Architecture with Storage Resource Constraint. - Yin Lu; Shudong Qin; Leqi Xi; Yunwei Dong (Int. J. Softw. Informatics, 2021)