4 books in this genre
Modern aspects of spin physics
Walter Pötz
SPIN model checking and software verification
Spin management and recovery
Michael C. Love
All about stalls & spins
Everett Gentry
