In Conclusion...
This talk should help you to ask the right questions to find out how one refinement package differs from another.
One must know the differences between the packages to make a rational decision about which to use in your project.
One must also know the limitations of their package and what problems to watch for. No package is perfect.