Efficient Model Checking of PSL Safety Properties | IEEE Conference Publication | IEEE Xplore