Started adding CTMC code to notebook