Shenglin Gui, Lei Luo, Qian Liu, Fulei Guo, Shaopeng Lu: UCaS: A Schedulability Analysis Tool for AADL Models. EUC (2) 2008: 449-454