You will find here a (growing) collection of TESL specifications which illustrate the possible uses of TESL.

Feel free to contribute your specifications by e-mail.

Leap years

Shows several ways of computing leap years, using different TESL coding styles.

Easter

Computing the date of Easter.

Engine ignition

Illustrates tag relations and time delays on a simple model of the ignition control of an engine.

Light switch

Illustrates tag relations and time delays on a simple model of a light switch and a light bulb.

Concurrent computations

An introduction to time islands through a simple example of concurrent computations on two CPUs.

Protocol state machine

Shows how to model a timed finite state machine in TESL.