A Timed Extension of Property Sequence Chart.

Pengcheng Zhang Bixin Li Mingjie Sun A Timed Extension of Property Sequence Chart. 197-206 2008 HASE http://dx.doi.org/10.1109/HASE.2008.20 conf/hase/2008 db/conf/hase/hase2008.html#ZhangLS08