@inproceedings{Rohloff_2007,
    doi = {10.1109/hase.2007.17},
    url = {https://doi.org/10.1109%2Fhase.2007.17},
    year = {2007},
    month = {nov},
    publisher = {{IEEE}},
    author = {Kurt Rohloff and Joseph Loyall and Partha Pal and Richard Schantz},
    title = {High-Assurance Distributed, Adaptive Software for Dynamic Systems},
    booktitle = {10th {IEEE} High Assurance Systems Engineering Symposium ({HASE}{\textquotesingle}07)}
}

@inproceedings{Rohloff_2007, doi = {10.1109/hase.2007.17}, url = {https://doi.org/10.1109%2Fhase.2007.17}, year = {2007}, month = {nov}, publisher = {{IEEE}}, author = {Kurt Rohloff and Joseph Loyall and Partha Pal and Richard Schantz}, title = {High-Assurance Distributed, Adaptive Software for Dynamic Systems}, booktitle = {10th {IEEE} High Assurance Systems Engineering Symposium ({HASE}{\textquotesingle}07)} }