Introduction to the Special Issue on Languages, Compilers, Tools, and Theory of Embedded Systems: Part 1. - Shrivastava, Aviral; Jian-Jia Chen; Youtao Zhang (ACM Transactions on Embedded Computing Systems, 2020)