Programming computers embedded in the physical world | IEEE Conference Publication | IEEE Xplore