Thread:Talk:Are there public records of industry use of formal methods?/Discussion on books

It would be interesting to detail the part on books. Have a short paragraph on the focus and also point to a success story if the book if reporting one that is detailled in our repository (or should be) - example: RTOS book