@InBook{VanMierlo_DSMforHCI,
  chapter =   {Domain-Specific Modelling for Human--Computer Interaction},
  pages =     {435--463},
  title =     {The Handbook of Formal Methods in Human-Computer Interaction},
  publisher = {Springer International Publishing},
  year =      {2017},
  author =    {Van Mierlo, Simon and Van Tendeloo, Yentl and Meyers, Bart and Vangheluwe, Hans},
  editor =    {Weyers, Benjamin and Bowen, Judy and Dix, Alan and Palanque, Philippe},
  series =    {Human-Computer Interaction Series},
  booktitle = {The Handbook of Formal Methods in Human-Computer Interaction},
  doi =       {10.1007/978-3-319-51838-1_16},
  isbn =      {978-3-319-51838-1},
  url =       {http://dx.doi.org/10.1007/978-3-319-51838-1_16}
}