Text this: Verification and validation of complex systems :