WP059: Formalization and Automation of Time-Space Conflict Analysis