@inproceedings{948,
  author = {James Davis and Jason Scott and Janos Sztipanovits and Marcus Martinez},
  title = {Multi-Domain Surety Modeling and Analysis for High Assurance Systems},
  year = {1999},
  journal = {Proceedings of the Engineering of Computer Based Systems},
  pages = {254--260},
  month = {March},
  address = {Nashville, TN},
  language = {eng},
}