@INPROCEEDINGS{BLO11,
  author = {Arnaud Blouin and Brice Morin and Olivier Beaudoux and Gr\'egory Nain and Patrick Albers and Jean-Marc J\'ez\'equel},
  title = {Combining Aspect-Oriented Modeling with Property-Based Reasoning to Improve User Interface Adaptation},
  booktitle = {EICS'11: Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems},
  year = {2011}
}