{TST: THE EMERGING CHAPTER OF SYSTEM VERIFICATION?