Conservative DEVS: a novel protocol for parallel conservative simulation of DEVS and cell-DEVS models