@inbook{FoMHCI,
    author                  = {Van Mierlo, Simon and
                               Van Tendeloo, Yentl and
                               Meyers, Bart and
                               Vangheluwe, Hans},
    title                   = {Domain-Specific Modelling for Human-Computer Interaction},
    booktitle               = {The Handbook of Formal Methods in Human-Computer Interaction},
    year                    = {2017},
    publisher               = {Springer},
}