Seegebarth, B.; Müller, F.; Schattenberg, B.; Biundo, S. Making Hybrid Plans More Clear to Human Users - A Formal Approach for Generating Sound Explanations. ICAPS 2012, 22, 225-233.