@inproceedings(acl2s11,
 author       = {Harsh Chamarthi and Peter C. Dillinger and Panagiotis Manolios and Daron Vroon},
 year         = {2011},
 title        = {The "ACL2" Sedan Theorem Proving System},
 booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
 doi          = {10.1007/978-3-642-19835-9_27},
)
@inproceedings(DillingerMVM07,
 author       = {Peter C. Dillinger and Panagiotis Manolios and Daron Vroon and J Strother Moore},
 year         = {2007},
 title        = {ACL2s: "The {ACL2} Sedan"},
 booktitle    = {International Conference on Software Engineering (ICSE)},
 doi          = {10.1109/ICSECOMPANION.2007.14},
)
@article(gamboa2001nonstandard,
 author       = {Ruben A Gamboa and Matt Kaufmann},
 year         = {2001},
 title        = {Nonstandard analysis in ACL2},
 journal      = {Journal of automated reasoning},
 volume       = {27},
 pages        = {323--351},
 doi          = {10.1023/A:1011908113514},
)
@inproceedings(karn,
 author       = {Max von Hippel and Kenneth L. McMillan and Nita-Rotaru, Cristina and Lenore Zuck},
 year         = {2023},
 title        = {A Formal Analysis of {K}arn’s Algorithm},
 booktitle    = {2023 International Conference on {NET}worked s{YS}tems (NETYS)},
 publisher    = {Springer},
 doi          = {10.1007/978-3-031-37765-5_4},
)
@article(karn1987improving,
 author       = {Phil Karn and Craig Partridge},
 year         = {1987},
 title        = {Improving round-trip time estimates in reliable transport protocols},
 journal      = {ACM SIGCOMM Computer Communication Review},
 volume       = {17},
 number       = {5},
 pages        = {2--7},
 doi          = {10.1145/55483.55484},
)
@inproceedings(kumar2021mathematical,
 author       = {Ankit Kumar and Panagiotis Manolios},
 year         = {2021},
 title        = {Mathematical Programming Modulo Strings},
 booktitle    = {2021 Formal Methods in Computer Aided Design (FMCAD)},
 organization = {IEEE},
 pages        = {261--270},
 doi          = {10.34727/2021/isbn.978-3-85448-046-4_36},
)
@inproceedings(manolios2006termination,
 author       = {Panagiotis Manolios and Daron Vroon},
 year         = {2006},
 title        = {Termination analysis with calling context graphs},
 booktitle    = {Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings 18},
 organization = {Springer},
 pages        = {401--414},
 doi          = {10.1007/11817963_36},
)
@inproceedings(padon2016ivy,
 author       = {Oded Padon and Kenneth L McMillan and Aurojit Panda and Mooly Sagiv and Sharon Shoham},
 year         = {2016},
 title        = {Ivy: safety verification by interactive generalization},
 booktitle    = {Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation},
 pages        = {614--630},
 doi          = {10.1145/2908080.2908118},
)
@misc(rfc6298,
 author       = {V. Paxson and M. Allman and J. Chu and M. Sargent},
 year         = {2011},
 title        = {Computing TCP's Retransmission Timer},
 howpublished = {\url{https://datatracker.ietf.org/doc/html/rfc6298}},
 note         = {Accessed 15 June 2023},
)
@misc(233684,
 author       = {(https://math.stackexchange.com/users/12042/brian-m scott), Brian M. Scott},
 title        = {Nested Division in the Ceiling Function},
 howpublished = {Mathematics Stack Exchange},
 url          = {https://math.stackexchange.com/q/233684},
 note         = {(version: 2012-11-09)},
)