Title: Analyzing Tabular and State-Transition Requirements Specifications in PVS