rwth aachen safety and reliability of software-controlled systems lecture notes exam