Florian Kammueller. Formal Modeling and Analysis of Data Protection for GDPR Compliance of IoT Healthcare Systems. In IEEE International Conference on Systems, Man, and Cybernetics, SMC 2018, Miyazaki, Japan, October 7-10, 2018. pages 3319-3324, IEEE, 2018. [doi]