@proceedings{netkachova_2016_47987, title = {{Security-Informed Safety Case Approach to Analysing MILS Systems}}, year = 2016, publisher = {Zenodo}, month = mar, doi = {10.5281/zenodo.47987}, url = {https://doi.org/10.5281/zenodo.47987} }