Increasingly, the development of today’s “smart” products requires the integration of both software and hardware in embedded systems. To develop these, hardware firms typically enlist the expertise of software development ...