@misc{indiciae3a4a0715e599,
  title = {In my Wish List, an Automated Tool for Fail-Secure Design Analysis: an Alloy-Based Feasibility Draft},
  author = {Gurvan Le Guernic},
  year = {2014},
  doi = {10.4204/eptcs.150.5},
  url = {https://arxiv.org/abs/1405.1115},
  note = {Source identifier: 1405.1115}
}