A solution using the Maude-based e-Motions tool.