Books by Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (8th 2010 Braunschweig, Germany) on BookTides.