Abstract: Embedded software and its specification is a vital component in deploying ... This leads to optimization opportunities for the re-use design case. These schemes are now considered further: 5 ...