Leveraging applications of formal methods, verification and validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008 ; Proceedings (Springer, 2008)