MedicationChecker: Development of a Formally Verified Android Application with EventB2SQL | IEEE Conference Publication | IEEE Xplore