Pragmatic Logic-Based Spatio-Temporal Pattern Checking in Particle-Based Models