Title: Independent verification and validation of complex user interfaces