Embedded Systems Design with the Texas Instruments MSP432 32-bit Processor