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

Alessandro Fantechi, Stefania Gnesi

Browse the full SAFECOMP paper archive.