Device Modeling for a Flexible Embedded Systems Development Process | IEEE Conference Publication | IEEE Xplore