Contextualized behavior patterns for change reasoning in Ambient Assisted Living: A formal model. Issue 2 (2nd April 2017)