Models written in Pharo ``KEDeterministicExamples>>modelRK4SolverOnMigrationOneSpeciesModel``: https://github.com/KendrickOrg/kendrick/blob/master/src/Kendrick-Examples/KEDeterministicExamples.class.st#L1257 and with DSL returns different result: https://github.com/KendrickOrg/kendrick/blob/master/documentation/formal-SoC-models/m2.md