Adding real-time capabilities to a SML compiler. - Muyuan Li; Daniel E. McArdle; Jeffrey C. Murphy; Bhargav Shivkumar; Lukasz Ziarek (SIGBED Rev., 2016)