Integration and Analysis of Design Artefacts in Embedded Software Development | IEEE Conference Publication | IEEE Xplore