verify: isensor: check: deadlock: ok
verify: isensor: check: unreachable: ok
verify: isensor: check: livelock: ok
verify: isensor: check: deterministic: ok
verify: itimer: check: deadlock: ok
verify: itimer: check: unreachable: ok
verify: itimer: check: livelock: ok
verify: itimer: check: deterministic: ok
verify: itop: check: deadlock: ok
verify: itop: check: unreachable: ok
verify: itop: check: livelock: ok
verify: itop: check: deterministic: ok
verify: SensorBhv: check: deterministic: ok
verify: SensorBhv: check: illegal: ok
verify: SensorBhv: check: deadlock: ok
verify: SensorBhv: check: unreachable: ok
verify: SensorBhv: check: livelock: ok
verify: SensorBhv: check: compliance: ok
verify: Controller: check: deterministic: ok
verify: Controller: check: illegal: ok
verify: Controller: check: deadlock: ok
verify: Controller: check: unreachable: ok
verify: Controller: check: livelock: ok
verify: Controller: check: compliance: ok
