Efficient state space exploration: Interleaving stateless and state-based model checking