This is a declarative approach. They have defined two tools. These are preprocessors that translate to finite state machines. There is no notion of time-out, no mapping to a wall clock, only virtual time so a cycle could last for hours. To construct events, start with a universe and hierarchically componentize the parts.
Universes can be synchronous or anynchronous.
One can dynamically add new universes or components. Once set, the visibility domain cannot change. Visibility domains cannot overlap. Being used in Telco equipment to create more complex network management. ReactiveSlots - higher level reactive interface, with reactive aggregation.