Our paper Attribute-based Communication over Pub/Sub: Transactional Coordination for Smart Systems has been accepted at the 45th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2025).