Formalization and Automation of Time-Space Conflict Analysis | Synapse