Checking Integral Real-Time Automata for Extended Linear Duration Invariants. - Changil Choe; Univan Ahn; Song Han 005 (FTSCS, 2014)