Specification and verification of concurrent systems by causality and realizability. - Broy, Manfred (Theoretical Computer Science, 2023)