This is I. Biswas's MS thesis that describes the full details on the design and implementation of CEDL.