DejaVu: A Monitoring Tool for First-Order Temporal Logic | IEEE Conference Publication | IEEE Xplore