Describir: Embedded computing and mechatronics with the PIC32 microcontroller /