Oleg Sokolsky, Insup Lee, Duncan Clarke. Schedulability analysis of AADL models. In 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece. IEEE, 2006. [doi]
Abstract is missing.