This book constitutes the refereed proceedings of the First International Workshop on Formal Methods in Systems Biology, ...