Functional and teleological knowledge in the multimodeling approach for reasoning about physical systems: a case study in diagnosis | IEEE Journals & Magazine | IEEE Xplore