automat
automat copied to clipboard
don't allow serialization to be defined if any states are missing a 'serialized' argument
this should be an error; cite http://www.erights.org/data/serial/jhu-paper/upgrade.html