Analysing the effects of biofeedback using control-oriented formalisms: the case of gamified Kegel exercising | IEEE Conference Publication | IEEE Xplore