https://9dok.org/document/qo5gjr47-high-assurance-object-oriented-software-engineering.html