Testing Safety PLCs Using QuickCheck | IEEE Conference Publication | IEEE Xplore