IEESD 2012: The Fourth IEEE International Workshop on Industrial Experience in Embedded Systems Design | IEEE Conference Publication | IEEE Xplore