The Weakest Link2016-07-010 PRE AI GGerard J. Holzmann * DOI:10.1109/MS.2016.89OriginalOriginal request for helpShareSaveAbstract En