Cinderella SLIPPER: An SDL to C-Code Generator

Cinderella SLIPPER is a C-code generator that generates C code from SDL and ASN.1 models defined in Cinderella SDL. The code generator has been designed to produce compact readable C code, as one of the major obstacles of using generated code from design specifications is that software developers are inhibited by difficulties to understand the generated code.