Learning for verification in embedded systems: A case study