https://5dok.info/document/zgwlrrx2-power-limitations-formal-methods-software-fabrication-thirty-years.html