Final report for clarification of ED-12B “Software considerations in airborne systems and equipment certification”