Dynamic Transition Refinement - Michael Köhler and Heiko Rölke (2006)