Geng Chen, Lei Luo, Rong Gong, Shenglin Gui. Dependability Analysis for AADL Models by PVS. In Eighth IEEE International Conference on Dependable, Autonomic and Secure Computing, DASC 2009, Chengdu, China, 12-14 December, 2009. pages 19-24, IEEE, 2009. [doi]
Abstract is missing.