@inproceedings{dumas:hal-00635897, TITLE = {{Context Modelling and Partial-Order Reduction: Application to SDL Industrial Embedded Systems}}, AUTHOR = {Dumas, Xavier and Boniol, Fr{\'e}d{\'e}ric and Dhaussy, Philippe and Bonnafous, Eric}, URL = {https://ensta-bretagne.hal.science/hal-00635897}, BOOKTITLE = {{IEEE SIES'10 - Symposium on industrial Embedded Systems}}, ADDRESS = {Trento, Italy}, PAGES = {xx}, YEAR = {2010}, MONTH = Jul, KEYWORDS = {Embedded systems}, HAL_ID = {hal-00635897}, HAL_VERSION = {v1}, }