5 gap model

Closing the Gap Between Models and Systems

If for reasons of cost, space or time an implementation is not generated with a certified code generator, then there…