Timed traces and their applications in specification and verification of distributed real-time systems. - Do Van Chieu; Dang Van Hung (SoICT, 2012)