Praveena, P.; Schoen, A.; Gleicher, M.; Porfirio, D.; Mutlu, B. Petri Nets for the Iterative Development of Interactive Robotic Systems. AAAI-SS 2024, 2, 526-531.