Dynamic semantics example ADA subset

This report defines a "difficult" Ada subset, illustrating all relevant dynamic aspects of Ada, deterministic, as well as non-deterministic, sequential, as well as concurrent, time-independent, as well as time-dependent. This subset will serve as a basis for a trial formal definition, the first step towards the full Ada formal definition.