Automatic Parallelization of Sequential Specifications for Symmetric MPSoCs