Automata-Based Behavioural Contracts with Action Correlation