Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems