A tool for visual specification and verification for secure process movements | IEEE Conference Publication | IEEE Xplore