TY  - RPRT
TI  - In my Wish List, an Automated Tool for Fail-Secure Design Analysis: an Alloy-Based Feasibility Draft
AU  - Gurvan Le Guernic
PY  - 2014
DO  - 10.4204/eptcs.150.5
UR  - https://arxiv.org/abs/1405.1115
ID  - 1405.1115
ER  -