Software Development Process And Reliability Quantification For Safety Critical Embedded Systems Design