[cpeterso]

Wikipedia says B-Method. Parts of the train control system use OpenVMS!

https://en.wikipedia.org/wiki/Paris_M%C3%A9tro_Line_14

https://en.wikipedia.org/wiki/B-Method