Abstract: 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 ...