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