Time, causality, and realizability: Engineering interactive, distributed software systems. - Broy, Manfred (Journal of Systems & Software, 2024)