Abbas K. Zaidi, Alexander H. Levis. Computational Verification of System Architectures. In 2007 IEEE Symposium on Computational Intelligence in Security and Defense Applications, CISDA 2007, Honolulu, Hawaii, April 1-5, 2007. pages 42-49, IEEE, 2007. [doi]
Abstract is missing.