A Refined Functional Size Measurement Procedure for Real-Time Embedded Software Requirements Expressed Using the Simulink Model | IEEE Conference Publication | IEEE Xplore