@article{freiling2006approach, title={An approach to synthesize safe systems}, author={Freiling, Felix and Jhumka, Arshad and Fetzer, Christof and Suri, Neeraj}, journal={International Journal of Security and Networks: IJSN}, pages={62--74}, year={2006}, publisher={Inderscience Enterprises} }