As human-machine systems become more complex and tightly coupled, the need to verify and validate them before use becomes more urgent. This volume looks at the state of the art and identifies work that still needs to be done.