The engineering of reliable embedded systems (TTb course)