https://1library.org/document/yd741okj-method-rigorous-design-reconfigurable-systems-science-computer-programming.html