Code from the book Feedback Control for Computer Systems