PASTA: an efficient proactive adaptation approach based on statistical model checking for self-adaptive systems