https://123dok.org/document/ozlo0pgz-model-driven-fault-injection-in-java-source-code.html