Towards an Embedded Software Component Quality Verification Framework | IEEE Conference Publication | IEEE Xplore