2 books in this genre
X/Open Framework and Models
X Open
Formal specification and software development
Dines Bjørner