arXiv 2011-06-21 EN Formalising the Continuous/Discrete Modeling Step Banach, Richard · Zhu, Huibiao · Su, Wen · Huang, Runlei