@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 }