%0 Journal Article %T Temporal Database Models Validation and Verification using Mapping Methodology %J VFAST Transactions on Software Engineering %D 2016 %U https://vfast.org/journals/index.php/VTSE/article/view/445