doi dblp Embedded Systems Design with the Texas Instruments MSP432 32-bit Processor Dung Dang | Daniel J. Pack | Steven F. Barrett 2016