Many approaches in modeling and simulation are firmly grounded on mathematical foundations. Such mathematical foundations, e.g., in stochastics/statistics, allow investigating the correctness of simulation algorithms and, based on that, correct extensions and improvements of algorithms.