4 Engineering Quality into Embedded Systems