Synergy of all-purpose static solver and temporal reasoning tools in dynamic integrated expert systems. - Galina V. Rybina; Alexey Mozgachev; Dmitry Demidov (CoRR, 2017)