Formal Methods and Testing 2008