Satisfiability For Symbolic Verification in VRS - A. Letichevsky; A. Letichevskiy; T. Weigert; V. Peschanenko (Control Systems and Computers, 2013)