Sam Owre Harald Rueß Integrating WS1S with PVS. 548-551 2000 conf/cav/2000 CAV db/conf/cav/cav2000.html#OwreR00