A Timed Extension of Property Sequence Chart | IEEE Conference Publication | IEEE Xplore