Here, https://www.withsecure.com/pt/solutions/innovative-security-...

Firmware is written in TamaGo.

PTC and Aicas JVMs and AOT compilers are proper Java, there is nothing on the standard regarding what kind of GC or real time constraints are required.

Additionally, real time Java is an industry standard.