Xiaolei Li, Jin Tian, Tingdi Zhao. An Improved Zonal Safety Analysis Method and Its Application on Aircraft CRJ200. In Proceedings of the The Third International Conference on Availability, Reliability and Security, ARES 2008, March 4-7, 2008, Technical University of Catalonia, Barcelona , Spain. pages 461-466, IEEE Computer Society, 2008. [doi]