Graph transformation with dependencies for the specification of interactive systems