Alromema, N. A., Mohd Rahim, M. S., & Albidewi, I. (2016). Temporal Database Models Validation and Verification using Mapping Methodology. VFAST Transactions on Software Engineering, 4(1), 90–101. https://doi.org/10.21015/vtse.v11i2.445