1. Armoni, R., Fix, L., Flaisher, A., Grumberg, O., Piterman, N., Vardi, M.Y.: Enhanced vacuity detection for linear temporal logic. In: Proceedings of the 15th International Conference on Computer-Aided Verification. Berlin, Heidelberg, New York: Springer 2003
2. Armoni, R., Fix, L., Gerth, R., Ginsburg, B., Kanza, T., Landver, A., Mador-Haim, S., Tiemeyer, A., Singerman, E., Vardi, M.Y., Zbar, Y.: The ForSpec temporal language: a new temporal property-specification language. In: Procedings of the 8th Internationl Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’02). Lecture Notes in Computer Science, vol. 2280, pp. 296–311. Berlin, Heidelberg, New York: Springer 2002
3. Beatty, D., Bryant, R.: Formally verifying a microprocessor using a simulation methodology. In: Proceedings of the 31st Design Automation Conference, pp. 596–602. IEEE Press, New York 1994
4. Beer, I., Ben-David, S., Eisner, C., Rodeh, Y.: Efficient detection of vacuity in ACTL formulas. Formal Methods Syst. Des. 18(2), 141–162 (2001)
5. Bening, L., Foster, H.: Principles of Verifiable RTL Design – a Functional Coding Style Supporting Verification Processes. Kluwer, Dordrecht 2000