Integrating Concrete Symbolic Testing with an Industrial Embedded Software Development Workflow | IEEE Conference Publication | IEEE Xplore