Ada Ravenscar Profile and C language: Rules Porting and Compatibility Checks Automation