Text this: Leveraging applications of formal methods : first international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004 : revised selected papers / Tiziana Margaria, Bernhard Steffen (eds.).