English Real Time Operating System: תרגום לשפות אחרות