Semantic Models for Adaptive Interactive Systems - Hussein, Tim (Springer London, 2013)