Boosting Lazy Abstraction for SystemC with Partial Order Reduction