Support for Programming Embedded Software with Dynamically Typed Languages | IEEE Conference Publication | IEEE Xplore