STERNOL

Adtranz Signal, Sweden

A specification language for interlocking models. A Sternol program is a system of equations, with one guarded command for each value a variable in the program can take. It has been used for modeling computerized signals on the Swedish railway system.