Amin Soltanieh, Markus Siegle. It Sometimes Works: A Lifting Algorithm for Repair of Stochastic Process Algebra Models. In Holger Hermanns, editor, Measurement, Modelling and Evaluation of Computing Systems - 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16-18, 2020, Proceedings. Volume 12040 of Lecture Notes in Computer Science, pages 190-207, Springer, 2020. [doi]
Abstract is missing.