Transparent multi-core speculative parallelization of DES models with event and cross-state dependencies