@inproceedings{Jan2021,Author = {Jan Steffen Becker},Title = {Model Checking Amalthea with Spin},Year = {2021},Series = {CEUR Workshop Proceedings},Booktitle = {Software Engineering (Satellite Events)},Url = {http://ceur-ws.org/Vol-2814/paper-A3-1.pdf},type = {inproceedings}}@COMMENT{Bibtex file generated on }