@ARTICLE{hamacher02b,
    author = {N. Hamacher and K.-F. Kraiss and J. Marrenbach},
    title = {Einsatz formaler Methoden zur Evaluierung der Gebrauchsfähigkeit interaktiver Geräte},
    journal = {it + ti Informationstechnik und Technische Informatik},
    year = {2002},
    volume = {44},
    pages = {49-55},
    number = {1},
    eid = {Oldenbourg},
}