Leveraging applications of formal methods, verification and validation 8th international symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings - Margaria, Tiziana 1964- (Springer, 2018)