SysML model for "Management of Radio Communication" with derived SCADE Suite formal model and generated C-Code

Signed-off-by: UweSteinkeFromSiemens <uwe.steinke@siemens.com>