Chang, Edward Y., Manna, Zohar and Pnuelli, Amir. 1992. “A Hierarchy of Temporal Properties.” in Computer System & Sciences: NATO Advanced Science Institutes Series. Berlin: Springer Verlag.
Chang, Edward Y., Manna, Zohar and Pnuelli, Amir. 1994. “Compositional Verification of Real-Time Systems.” in IEEE Proceedings of the 9th Annual IEEE Symposion on Logic in Computer Science. New York: IEEE Computer Science Press.