Formal Modeling and Analysis of Data Protection for GDPR Compliance of IoT Healthcare Systems | IEEE Conference Publication | IEEE Xplore