Formal Methods and Discrete-Event Simulations