KOSTM

Knowledge-based Operating SysTeM

INRETS (Institut National de Recherche Sur Les Transports Et Leur Securite)

A real-time, multitasking language, used in the DRIVE project.