https://blackberry.qnx.com/en/pdfviewer?file=/content/dam/qnx/QNX-Ten-Principles-for-Building-Safe-Embedded-Software-Systems.pdf