@inproceedingsBer2014, Author = {Bertram Wortelen Andreas Lüdtke Denis Javaux Sonja 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} @COMMENTBibtex file generated on