Full-protocol safety analysis of CINNAMON | IEEE Conference Publication | IEEE Xplore