Alromema, N. A.; Mohd Rahim, M. S.; Albidewi, I. Temporal Database Models Validation and Verification Using Mapping Methodology. VFAST trans. softw. eng. 2016, 4, 90-101.