@conference {3782,
	title = {Multi-Domain Surety Modeling and Analysis for High Assurance Systems},
	booktitle = {Proceedings of the Engineering of Computer Based Systems},
	year = {1999},
	month = {March},
	pages = {254--260},
	address = {Nashville, TN},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Davis_J_3_0_1999_Multi_Doma.pdf},
	author = {Davis, James and Scott, Jason and Sztipanovits, Janos and Martinez, Marcus}
}
