Foundations of embedded systems. ([2019])