Allow the DSML formulation of reaction and synchronization constraints for SMT solving
The feature will allow to formulate constraints to express a time upper
bound for the interval between two events.
The constraint will be formulated in DSML, and designed to be used with
Z3.
This feature is related to #3470, where a timing metamodel is being defined.
(from redmine: issue id 3578, created on 2018-11-15, closed on 2018-12-20)