PLA decomposition to reduce the cost of concurrent checking | IEEE Conference Publication | IEEE Xplore