1. Accellera, SystemVerilog
2. Accellera, IEEE P1850 PSL
3. Past, Present and Future: Oxford University Press (1967)
4. The temporal logic of programs. In: Proceedings of the 18th IEEE Symposium on the Foundations of Computer Science (FOCS-77), pp. 46–57 (1977)
5. Forin, A., Neekzad, B., Lynch, N.L.: Giano: The Two-Headed System Simulator. Microsoft Research Technical Report, vol. MSR-TR-2006-130 (2006)