FORMS/FORMAT 2008 - Formal Methods for Automation and Safety in Railway and Automotive Systems