Public repository for Dependable Systems Lecture attendance WS 2013/14