Embedded systems development: quest for productivity and reliability | IEEE Conference Publication | IEEE Xplore