As human-machine systems become more complex and tightly coupled, the need to verify and validate...