@inproceedings{abdoul:hal-00517223, TITLE = {{AADL model transformation for formal verification}}, AUTHOR = {Abdoul, Thomas and Champeau, Jo{\"e}l and Dhaussy, Philippe and Pillain, Pierre-Yves and Roger, Jean-Charles}, URL = {https://hal.science/hal-00517223}, BOOKTITLE = {{3rd IEEE International UML\&AADL workshop (hosted by ICECCS 2008)}}, ADDRESS = {Belfast, Ireland}, YEAR = {2008}, MONTH = Apr, HAL_ID = {hal-00517223}, HAL_VERSION = {v1}, }