Improved Cell-DEVS Model Definition in CD++ · Study