Faily, Shamal, Fléchais, Ivan, "Software for interactive secure systems design: lessons learned developing and applying CAIRIS.", , 2012