Monitoring hybrid process specifications with conflict management: An automata-theoretic approach.