Fixed hyphenation error in README

README.md

@@ -2,8 +2,8 @@
 
 This repository contains the Tamarin models for the following paper:
 
-Daniel Zelle, Dustin Kern, Timm Lauser, and Christoph Krauß. 2021. Analyz-
-ing and Securing SOME/IP Automotive Services with Formal and Practical
+Daniel Zelle, Dustin Kern, Timm Lauser, and Christoph Krauß. 2021. Analyzing
+and Securing SOME/IP Automotive Services with Formal and Practical
 Methods. In *The 16th International Conference on Availability, Reliability and
 Security (ARES 2021), August 17–20, 2021, Vienna, Austria.* ACM, New York,
 NY, USA, 20 pages. https://doi.org/10.1145/3465481.3465748