Eclipse plug-ins for GOAL and related KR languages