Suzana Andova Annabelle McIver Pedro R. D'Argenio Pieter J. L. Cuijpers Jasen Markovski Carroll Morgan Manuel Núñez Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications QFM http://dx.doi.org/10.4204/EPTCS.13 2009 EPTCS 13 db/series/eptcs/eptcs13.html