För en redogörelse för verkställbarhetsförfarandet se vidare avsnitt 9.5.3 .