Fayollas, et al.. A Three-fold Approach Towards Increased Assurance Levels for Interactive Systems. ACM Press, 2016, doi:10.1145/2950112.2964578.