Downloadable and recorded computer software for system simulation for modeling, testing, and validating cyber-physical systems, embedded systems, and distributed computing environments