from design models to implementation.
This module contains some utility function for MARTEs value specification language