https://9dok.net/document/qmjr43n7-formal-derivation-and-analytical-justification-of-modulation-equations.html