4. Analysis of Clocked Sequential Circuits - si-manual