Alromema, N.A. et al. 2016. Temporal Database Models Validation and Verification using Mapping Methodology. VFAST Transactions on Software Engineering. 4, 1 (Dec. 2016), 90–101. DOI:https://doi.org/10.21015/vtse.v11i2.445.