@inproceedings{maier:hal-01414702,
  TITLE = {{We Need Non-formal Methods Based on Formal Models in Interaction Design}},
  AUTHOR = {Maier, Andreas and Hess, Steffen},
  URL = {https://hal.science/hal-01414702},
  NOTE = {Part 2: Building Bridges: Non-formal Modeling (ECCE 2011)},
  BOOKTITLE = {{7th Workshop on Human-Computer Interaction and Visualization (HCIV)}},
  ADDRESS = {Rostock, Germany},
  EDITOR = {Achim Ebert and Gerrit C. Veer and Gitta Domik and Nahum D. Gershon and Inga Scheler},
  PUBLISHER = {{Springer Berlin Heidelberg}},
  SERIES = {Building Bridges: HCI, Visualization, and Non-formalModeling},
  VOLUME = {LNCS-8345},
  PAGES = {150-164},
  YEAR = {2011},
  MONTH = Aug,
  DOI = {10.1007/978-3-642-54894-9\_11},
  PDF = {https://hal.science/hal-01414702/file/325006_1_En_11_Chapter.pdf},
  HAL_ID = {hal-01414702},
  HAL_VERSION = {v1},
}