Temporal verification of reactive systems - safety

What do you do to start reading temporal verification of reactive systems safety? Searching the book that you love to read first or find an interesting book that will make you want to read? Everybody has difference with their reason of reading a book. Actuary, reading habit must be from earlier. Many people may be love to read, but not a book. It's not fault. Someone will be bored to open the thick book with small words to read. In more, this is the real condition. So do happen probably with this temporal verification of reactive systems safety.