Bibtex Entry:

@article{ToN-P6,
 author = "Apoorv Shukla and Kevin Hudemann and Zsolt V{\'a}gi and Lily H{\"u}gerich
and Georgios Smaragdakis and Artur Hecker and Stefan Schmid and Anja Feldmann",
 title = {{Runtime Verification for Programmable Switches}},
 journal = {{IEEE/ACM Transactions on Networking}},
 volume={31},
 number={4},
 pages={1822--1837},
 month={August},
 year = {2023}
}