Files for the Dependable Systems Seminar 2013