Extensions of Temporal Logic for Counting with Applications to Model Verification.

Robert P. Kurshan Shlomit S. Pinter Baruch Solomon Extensions of Temporal Logic for Counting with Applications to Model Verification. 373-386 1989 conf/pstv/1989 PSTV db/conf/pstv/pstv1989.html#KurshanPS89