Automatic Analysis of TiMo Systems in PAT | IEEE Conference Publication | IEEE Xplore