Alromema, Nashwan Ahmed, Mohd Shafry Mohd Rahim, and Ibrahim Albidewi. “Temporal Database Models Validation and Verification Using Mapping Methodology”. VFAST Transactions on Software Engineering 4, no. 1 (December 21, 2016): 90–101. Accessed April 18, 2026. https://vfast.org/journals/index.php/VTSE/article/view/445.