1
Distinguishing formulas for free.
Book
2
First order theories for the verification of complex FSMs.
Book