An assessment framework for development processes of safety-critical system functions applied to a model-based safety-critical middleware | IEEE Conference Publication | IEEE Xplore