Requirements for Relaxation Coaching - A Formalization of the Fogg Behavior Model Topics: Assistive Technology and Adaptive Systems; Intelligent Companions; Systems to Encourage Healthy Lifestyles In Proceedings of the 1st International Conference on Information and Communication Technologies for Ageing Well and e-Health ICT4AgeingWell - Volume 1, 31-36, 2015 , Lisbon, Portugal