Making Hybrid Plans More Clear to Human Users - A Formal Approach for Generating Sound Explanations