Towards the verification of temporal data consistency in Real-Time Data Management | IEEE Conference Publication | IEEE Xplore