L – A Common Lisp for Embedded Systems (1995) [pdf]

It is used in the Roomba brand of Robovacs by iRobot. The authors of the papers were also founders of that company in the 90s. I don't know if it used in their military devices as well.

Need source … and cf ulisp? Do not think just a pdf file is enough.