Extending Temporal Logic to Support High-Level Simulations
A high-level simulation language based on temporal logic is described. The language combinesa large set of temporal tenses and a rich class of high-level modeling primitives. Also an implementationof the language interpreter is presented. Finally. a real-world case study is describedthat shows how a programmer can develop structured, reliable, and well-maintainable simulationprograms using the language