Maintenance Analysis and Optimization via Statistical Model Checking - Evaluating a Train Pneumatic Compressor. - Enno Ruijters; Dennis Guck; Peter Drolenga; Margot Peters; Mariëlle Stoelinga (QEST, 2016)