Translating SysML Activity Diagrams for nuXmv Verification of an Autonomous Pancreas. - Orion Staskal; Josh Simac; Logan Swayne; Kristin Y. Rozier (COMPSAC, 2022)