Context modelling and partial-order reduction: Application to SDL industrial embedded systems | IEEE Conference Publication | IEEE Xplore