A Change of Perspective Yields Formal Analysis | IEEE Conference Publication | IEEE Xplore