Functional safety for embedded systems. (2023)