Benefits of bounded model checking at an industrial setting