Formal Specification of a Safety Critical Pervasive Application for a Nuclear Medicine Department | IEEE Conference Publication | IEEE Xplore