Model Checking Real-Time Component Based Systems with Blackbox Testing. - Dang Van Hung; Bui Vu Anh (RTCSA, 2005)

An Algebraic Structure for Duration Automata. - Bui Vu Anh; Phan Trung Huy (ICCCI (2), 2012)