Jonas Nilsson: Computational Verification Methods for Automotive Safety Systems. Chalmers University of Technology, Gothenburg, Sweden 2014