Tribastone, Mirco  Efficient optimization of software performance models via parameter-space pruning.   In:  Proceedings of the 5th ACM/SPEC international conference on Performance engineering - ICPE '14.   ACM, pp. 63-73.  ISBN 978-1-4503-2733-6      (2014)