Stem ime$ (all stems)

2 papers:

TestCom-2003-DaiGN #realtime #specification #visual notation

T911IMED TTCN-3 Based Graphical Real-Time Test Specification (ZRD, JG, HN), pp. 110–127.

DATE-2001-Ruiz-de-ClavijoJBAV #logic #named

HALOTIS: high accuracy LOgic TIming simulator with inertial and degradation delay model (PRdC, JJC, MJB, AJA, MV), pp. 467–471.