Using temporal logic in the compositional specification of concurrent systems - Barringer, Howard (Univ., 1986)