Reliable Computing 1 - Lecture notes