SIMPPAAL: A Framework for Statistical Model Checking of Industrial Simulink Models | Publicación