On the Adoption of Model Checking in Safety-Related Software Industry