https://9dok.net/document/yj75mwep-formal-identify-deficiencies-functional-requirements-product-embedded-systems.html