Verifying Controllability of Time-Aware Business Processes