Reasoning about processes and continuous change: analysis and implementation