Reasoning about energy in qualitative simulation. - Pierre Fouché; Benjamin Kuipers (IEEE Trans. Syst. Man Cybern., 1992)