TRAMPS/2: trace referenced analysis model of the personal system/2 | IEEE Conference Publication | IEEE Xplore