Monitoring Hybrid Process Specifications with Conflict Management: The Automata-theoretic Approach.