Can my test case run on your test plant? A logic-based compliance check and its evaluation on real data