Analysis of Clocked Sequential Circuits (with JK Flip Flop)