Erratum for “What causes a system to satisfy a specification (2010)

by H Chockler, J Y Halpern, O Kupferman
Venue:ACM Trans. Comput. Logic