A Formal Syntax for Probabilistic Timed Property Sequence Charts | IEEE Conference Publication | IEEE Xplore