Some Results on Edge Cover Coloring of Double Graphs