Andrew Sorensen, Henry J. Gardner: Programming with time: cyber-physical programming with impromptu. OOPSLA 2010: 822-834