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