Extending nuXmv with Timed Transition Systems and Timed Temporal Properties