Real-time capabilities in functional languages | IEEE Conference Publication | IEEE Xplore