Tiny Tools2016-01-012 PRE AI GGerard J. Holzmann * DOI:10.1109/MS.2016.25OriginalOriginal request for helpShareSaveAbstract En