Corina CristeaEMAN HOMOUD M ALKHAMMASH2022-05-302022-05-3023348https://drepo.sdl.edu.sa/handle/20.500.14154/50423Investigating the Preservation of Temporal Properties by Event B Data Refinement through a Lift Controller Case StudyThesis