1 Table of Contents: “... in the Join Calculus -- Modeling Urgency in Component-Based Real-Time Systems -- Maintaining Data Consistency...”

2 Table of Contents: “... in Model Checking -- Modeling Urgency in Timed Systems -- Compositional Refinement of Interactive Systems...”

3 Table of Contents: “..." and the vault of The Broad in Los Angeles -- Life size models agency between landscape, spatial experience...”