We need non-formal methods based on formal models in interaction design

Steffen Hess, Andreas Maier, Marcus Trapp. We need non-formal methods based on formal models in interaction design. In Anke Dittmar, Peter Forbrig, editors, ECCE 2011 - European Conference on Cognitive Ergonomics, Rostock, Germany, August 24-26, 2011, Proceedings of the 29th annual conference of the European Association of Cognitive Ergonomics. pages 287-288, Universitätsdruckerei Rostock, Germany / ACM, 2011. [doi]

@inproceedings{HessMT11-0,
  title = {We need non-formal methods based on formal models in interaction design},
  author = {Steffen Hess and Andreas Maier and Marcus Trapp},
  year = {2011},
  doi = {10.1145/2074712.2074783},
  url = {http://doi.acm.org/10.1145/2074712.2074783},
  researchr = {https://researchr.org/publication/HessMT11-0},
  cites = {0},
  citedby = {0},
  pages = {287-288},
  booktitle = {ECCE 2011 - European Conference on Cognitive Ergonomics, Rostock, Germany, August 24-26, 2011, Proceedings of the 29th annual conference of the European Association of Cognitive Ergonomics},
  editor = {Anke Dittmar and Peter Forbrig},
  publisher = {Universitätsdruckerei Rostock, Germany / ACM},
  isbn = {978-1-4503-1029-1},
}