https://123dok.net/document/q05x0ll3-formalising-systematic-security-evaluations-using-attack-automotive-applications.html