Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings - Margaria, Tiziana; Steffen, Bernhard (Springer Berlin Heidelberg : Imprint: Springer, 2008)