An embedded DSL for stochastic processes: research article. - Michael Flænø Werk; Joakim Ahnfelt-Rønne; Ken Friis Larsen (FHPC@ICFP, 2012)