P. Praveena, A. Schoen, M. Gleicher, D. Porfirio, and B. Mutlu, “Petri Nets for the Iterative Development of Interactive Robotic Systems”, AAAI-SS, vol. 2, no. 1, pp. 526–531, Jan. 2024.