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