Cross-Platform Development for Microcontrollers: Design of a Virtual Machine Based Portable Programming Language. TST 2025, No. 45.