Computer Science for Technical Systems