Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I - Margaria, Tiziana; Steffen, Bernhard (Springer International Publishing : Imprint: Springer, 2016)