G. Hegde, S. Gupta, G. Prabhu, and S. Bhandary. ATIS, volume 1804 of Communications in Computer and Information Science, page 109-120. Springer, (2022)
P. Bhandary, E. Zieglar, and C. Nicholas. Protocols, Strands, and Logic, volume 13066 of Lecture Notes in Computer Science, page 50-76. Springer, (2021)