@inproceedings{vonHanxledenLF+22, author = {Reinhard von Hanxleden and Edward A. Lee and Hauke Fuhrmann and Alexander Schulz{-}Rosengarten and S{\"{o}}ren Domr{\"{o}}s and Marten Lohstroh and Soroush Bateni and Christian Menard}, title = {Pragmatics Twelve Years Later: A Report on {Lingua Franca}}, pages = {60--89}, year = {2022}, organization = {Springer}, booktitle = {11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)}, series = {Lecture Notes in Computer Science}, volume = {13702}, address = {Rhodes, Greece}, month = {October}, doi = {10.1007/978-3-031-19756-7_5}, pdf = {isola22.pdf}, }