@inproceedings{Ber2014,Author = {Bertram WortelenAndreas L├╝dtkeDenis JavauxSonja Sievi},Title = {Experiences from Using Formal Verification Techniques to Analyze Human-Machine Interaction: A Case Study},Year = {2014},Month = {9},Booktitle = {Proc. of ECCE┬┤14},type = {inproceedings}}@COMMENT{Bibtex file generated on }