1. IEEE standard for Property Specification Language (PSL);IEEE-Commission;IEEE Std,2005
2. A. Pnueli , " The temporal logic of programs," in 18th Annual Symposium on Foundations of Computer Science (sfcs 1977). ieee , 1977 , pp. 46 -- 57 . A. Pnueli, "The temporal logic of programs," in 18th Annual Symposium on Foundations of Computer Science (sfcs 1977). ieee, 1977, pp. 46--57.
3. E. M. Clarke Jr , O. Grumberg , D. Kroening , D. Peled , and H. Veith , Model checking . MIT press , 2018 . E. M. Clarke Jr, O. Grumberg, D. Kroening, D. Peled, and H. Veith, Model checking. MIT press, 2018.
4. Instruction-Level Abstraction (ILA)