Rigorous time slicing approach to Feynman path integrals. ([2017])