A Fuzzy Temporal Logic-Based Framework for Fuzzy Discrete-Event Simulation