Zhanyong Wan Walid Taha Paul Hudak Real-Time FRP. 146-156 2001 conf/icfp/2001 ICFP db/conf/icfp/icfp2001.html#WanTH01 http://doi.acm.org/10.1145/507635.507654