Shenglin Gui Lei Luo Qian Liu Fulei Guo Shaopeng Lu UCaS: A Schedulability Analysis Tool for AADL Models. 449-454 2008 EUC (2) http://dx.doi.org/10.1109/EUC.2008.115 conf/euc/2008-2 db/conf/euc/euc2008-2.html#GuiLLGL08