1) https://www.amazon.com/Object-Oriented-Modeling-Design-Rumba...

2) https://www.amazon.com/OMT-Insights-Perspective-Object-Orien...

1) https://www.amazon.com/Executable-UML-Foundation-Model-Drive...

And the work of daniel Jackson from MIT :

http://people.csail.mit.edu/dnj/

Look at this course, at the videos at the bottom:

https://stellar.mit.edu/S/course/6/fa18/6.170/materials.html

Jackson is also behind Alloy:

https://mitpress.mit.edu/books/software-abstractions-revised...