I'm looking for a reference to a book which develops an It\^{o} lemma for semi-martingales with values in infinite dimensional Hilbert-Manifolds. I expect the techniques to be the same but still I appreciate a reference as there are hints in some of the literature that these things are known. 


So far I've only found finite dimensional stuff. Can any one point me in the right direction? 



Reference: Stochastic Analysis on Hilbert Manifolds
As the question is general and observes the wide of the subject; I have chosen some reference.


[Path Integrals on a Compact Manifold with Non-negative Curvature](https://arxiv.org/pdf/math/0612711)


[Foundations of the Theory of Semilinear Stochastic Partial Differential Equations](https://www.hindawi.com/journals/ijsa/2013/798549/)


[Stochastic differential equations on manifolds](https://www.google.fr/url?sa=t&rct=j&q=&esrc=s&source=web&cd=1&cad=rja&uact=8&ved=0ahUKEwiCkYihzIrSAhVIXRQKHbpgClkQFggeMAA&url=http%3A%2F%2Fopensiuc.lib.siu.edu%2Fcgi%2Fviewcontent.cgi%3Farticle%3D1056%26context%3Dmath_articles&usg=AFQjCNH4-cnphTNBdXtoBnGaGcMIirngYg&bvm=bv.146786187,d.d24)


