Alromema, Nashwan Ahmed, et al. “Temporal Database Models Validation and Verification Using Mapping Methodology”. VFAST Transactions on Software Engineering, vol. 4, no. 1, Dec. 2016, pp. 90-101, doi:10.21015/vtse.v11i2.445.