1-2 of 2 Books
Software engineering concepts
By R. E. Fairley
Verifying concurrent processes using temporal logic
By Brent T. Hailpern