Project-Team VerTeCs Verification models and techniques applied to the Testing and Control of reactive Systems