Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract)