Special Track on Embedded Systems: Advances along the Hardware/Software Borderline