Languages, Design Methods, and Tools for Electronic System Design - Kazmierski, Tom J. (Springer International Publishing, 2020)