TY - BOOK TI - Design Automation for Embedded Systems: An International Journal PB - Springer KW - Engineering UR - https://link.springer.com/journal/10617/volumes-and-issues ER -