TiP 2012: The First IEEE International Workshop on Tools in Embedded Systems Design Process | IEEE Conference Publication | IEEE Xplore