Detecção e resolução de conflitos em ATM utilizando modelagens de trajetórias 4D baseadas em banco de dados NoSQL e algoritmos de busca - Monteiro, Lucas Borges (2023)