I also just finished Thinking in Systems and really liked it. I think Feedback Control for Computer Systems[0] is a bit more on the side of a working software engineer (python2 though). Probabilistic Robotics[1] is also an technical approach on control and feedback.