Automatically derived stateful network functions including non-field attributes | IEEE Conference Publication | IEEE Xplore