A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems. - Heather Goldsby; Betty H. C. Cheng; Sascha Konrad; Stephane Kamdoum (MoDELS, 2006)