https://5dok.org/document/1y9473wq-partitioning-methodology-validation-for-embedded-systems-design.html