From good intentions to healthy habits: Towards integrated computational models of goal striving and habit formation | IEEE Conference Publication | IEEE Xplore