I wrote a few case studies here: https://www.hillelwayne.com/post/business-case-formal-method.... They're case studies that are targeted towards bosses, so focus on how it saves time and money. A couple more I know of:

* https://andy.hammerhartes.de/finding-bugs-in-systems-through...

* http://roscidus.com/blog/blog/2019/01/01/using-tla-plus-to-u...

* https://www.youtube.com/watch?v=oMSmkRGzQ64