ARTE: Arduino real-time extension for programming multitasking applications