B. Seegebarth, F. Müller, B. Schattenberg, and S. Biundo, “Making Hybrid Plans More Clear to Human Users - A Formal Approach for Generating Sound Explanations”, ICAPS, vol. 22, no. 1, pp. 225-233, May 2012.