“…The fact that rewriting logic [40,9] provides an easy and expressive way to develop executable formal definitions of languages, which can then be subjected to different tool-supported formal analyses, is by now well established [6,70,67,65,42,68,15,58,69,27,25,37,7,44,45,12,11,26,21,59,1,66,23,60,38,36,30].…”