• Statistical Model Checking of e-Motions Domain-Specific Modeling Languages 

      Durán, Francisco; Moreno-Delgado, Antonio; Alvarez-Palomo, Jose Maria (Springer, 2016)
      Domain experts may use novel tools that allow them to de- sign and model their systems in a notation very close to the domain problem. However, the use of tools for the statistical analysis of stochas- tic systems requires ...