@inproceedings{waignier:inria-00311584, TITLE = {{A Model-Based Framework for Statically and Dynamically Checking Component Interactions}}, AUTHOR = {Waignier, Guillaume and Prawee, Sriplakich and Le Meur, Anne-Fran{\c c}oise and Duchien, Laurence}, URL = {https://inria.hal.science/inria-00311584}, BOOKTITLE = {{ACM/IEEE 11th International Conference on Model-Driven Engineering Languages and Systems (MODELS 2008)}}, ADDRESS = {Toulouse, France}, SERIES = {Lecture Notes in Computer Science}, VOLUME = {5301}, PAGES = {371-385}, YEAR = {2008}, MONTH = Sep, DOI = {10.1007/978-3-540-87875-9\_27}, HAL_ID = {inria-00311584}, HAL_VERSION = {v1}, }