Decision Procedures for Time and Chance (Extended Abstract)