Shakarian P, Parker A, Simari G, V.S. Subrahmanian.  2011.  Annotated probabilistic temporal logic. ACM Trans. Comput. Logic. 12(2):14:1?14:44-14:1?14:44.