@Inproceedings{EPTCS150.5, author = {Le Guernic, Gurvan}, year = {2014}, title = {In my Wish List, an Automated Tool for Fail-Secure Design Analysis: an Alloy-Based Feasibility Draft}, editor = {Pang, Jun and Liu, Yang}, booktitle = {{\rm Proceedings Third International Workshop on} Engineering Safety and Security Systems, {\rm Singapore, Singapore, 13 May 2014}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {150}, publisher = {Open Publishing Association}, pages = {50-55}, doi = {10.4204/EPTCS.150.5}, }