Heather Goldsby, Betty H. C. Cheng, Sascha Konrad, Stephane Kamdoum. A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems. In Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio, editors, Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings. Volume 4199 of Lecture Notes in Computer Science, pages 707-721, Springer, 2006. [doi]