@inproceedings{SSSR22,
author = {Orion Staskal and Josh Simac and Logan Swayne and Kristin Yvonne Rozier},
title = {Translating SysML Activity Diagrams for nuXmv Verification of an Autonomous Pancreas},
booktitle{{Proceedings of the 6th IEEE Workshop on Software Engineering for Smart Systems (SESS)}},
publisher = {{IEEE}},
series = {{IEEE Computer Society (COMPSAC)}},
address = {Virtual},
month = {6--7},
year = {2022},
}