Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III - Margaria, Tiziana; Margaria, Tiziana; Steffen, Bernhard; Steffen, Bernhard (Springer International Publishing : Imprint: Springer, 2018)