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?