Time refinement in a functional synchronous languageLouis MandelCédric Pasteuret al.2015Science of Computer Programming