Detecting data store access conflict in Simulink by solving Boolean satisfiability problems.