Biomodel Engineering - From Structure to Behavior.- The Attributed Pi-Calculus with Priorities.- A Language for Biochemical Systems: Design and Formal Specification.- Mechanistic Insights into Metabolic Disturbance during Type-2 Diabetes and Obesity Using Qualitative Networks.- Modelling Self-assembly in BlenX.- Rule-Based Modeling of Transcriptional Attenuation at the Tryptophan Operon.- Modelling and Analysis of the NF-?B Pathway in Bio-PEPA.