Title: Declarative development of interactive systems