Embedded software and its specification is a vital component in deploying SoCs with reduced time-to-market. A key contribution to this is the technology area of embedded software architecture. This ...