[Haskell-cafe] FP simulators for real-time systems?

Hello, I'm interested to hear if anyone out there has used Haskell (or other functional languages for that matter) to build simulators for real- time systems. I'm somewhat familiar with Timber http://www.timber-lang.org/ and similar languages for actually constructing real-time systems. However, I'm more interested in documented uses of FP "out-of-the- box" to build simulators and associated test harnesses. Pointers to published papers are particularly appreciated. Thanks! Lee