PiSPEC is a specification language that has been designed for interlocking systems specifications. It builds on well-known concepts that are being taught in engineering classes all over the world.