Text this: Leveraging applications of formal methods, verification and validation : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings / Tiziana Margaria, Bernhard Steffen (Eds.).