Fjelstad, J., Fuchs, J., Runkel, I., & Schweigert, C. (2006). TFT construction of RCFT correlators V: Proof of modular invariance and factorisation. Theory and Applications of Categories, 16, 342-433.