Prediction of the Testing Effort for the Safety Certification of Open-Source Software: A Case Study on a Real-Time Operating System | IEEE Conference Publication | IEEE Xplore