Response property checking via distributed state space exploration | IEEE Conference Publication | IEEE Xplore