Shenglin Gui, Lei Luo, Yun Li, Lijie Wang. Formal Schedulability Analysis and Simulation for AADL. In Shuvra S. Bhattacharyya, Xingshe Zhou, Bing Guo, Zili Shao, Xiangke Liao, editors, International Conference on Embedded Software and Systems, ICESS '08, Chengdu, Sichuan, China, July 29-31, 2008. pages 429-435, IEEE, 2008. [doi]
Abstract is missing.