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

[Lee Pike]

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