N. A. Alromema, M. S. Mohd Rahim, and I. Albidewi, “Temporal Database Models Validation and Verification using Mapping Methodology”, VFAST trans. softw. eng., vol. 4, no. 1, pp. 90–101, Dec. 2016.