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 ((Communications in Computer and Information Science))