https://1library.net/document/yng31p0z-physical-model-generation-analysis-using-model-based-reasoning.html