The PROSIT tool: Toward the optimal design of probabilistic soft real-time systems