Nguyen Van Tang, Mizuhito Ogawa: Event-Clock Visibly Pushdown Automata. SOFSEM 2009: 558-569